Satoshi Scoop 周报, 2025 年 10月 3 日

加密洞见 Hornet 节点 + DSL：比特币共识的纯粹、形式化、可执行规范的首个可信方案 Toby Sharp 在该论文中展示了一个紧凑、可执行、声明式的 C++ 比特币共识规则规范，能够在单线程上数小时内同步主网至最新区块。比特币共识规则被写在其参考客户端的代码中，但由于存在副作用、可变状态、并发操作和遗留设计，这些代码不适合进行形式化验证。一个独立的形式化规范，可以实现对参考客户端各版本之间以及新客户端实现的验证，通过减少共识分叉漏洞的风险来增强去中心化。然而，鉴于比特币共识逻辑的复杂性...