btc-verified 十月更新：通过 libbitcoinkernel 接口与差分模糊测试锚定比特币网络模型

btc-verified 项目利用 libbitcoinkernel 接口，通过差分模糊测试将 Lean 语言实现的共识模型锚定至 Bitcoin Core。目前已有九个内核函数实现该接口，涵盖交易创建、序列化及本地检查等核心行为。此举旨在建立模型忠实度基准，验证 btc-verified 在协议语义上与 Bitcoin Core 的一致性。