Btc-verified October Update: Connecting Map to Territory
说明btc-verified 十月进展：将形式化模型与比特币 Core 的实际行为对齐
简介btc-verified 项目用 Lean 形式化比特币共识模型。本文描述作者如何借助 libbitcoinkernel 接口，并通过 bitcoinfuzz 式差分模糊测试，比较模型与 Bitcoin Core 在交易解析、序列化和部分交易本地检查上的行为是否一致。目前已有九个内核函数由 Lean 实现支持。