Delving Bitcoin· ProofOfKeags·· 4 小时前AI 评分34
btc-verified 十月更新：将共识模型对接真实比特币网络
Btc-verified October Update: Connecting Map to Territory
AI 导读
btc-verified 项目十月更新把其 Lean 共识模型接入 libbitcoinkernel 接口，并基于 libFuzzer 搭建了针对 Bitcoin Core 与 btc-verified 的独立差分模糊测试工具。
来源：Delving Bitcoin · delvingbitcoin.org