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