Satoshi Scoop 周报, 2025 年 10月 3 日

加密洞见

Hornet 节点 + DSL：比特币共识的纯粹、形式化、可执行规范的首个可信方案

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

Sharp 同时提出了专为明确编码这些规则而设计的 Hornet DSL，支持便执行，形式推理、共识代码生成，以及 AI 驱动的对抗性测试。该规范驱动客户端 Hornet Node 为参考客户端提供了一个现代的、模块化补充。其代码风格清晰且符合惯用习惯，适合教学与学习，性能也足以满足实验和研究需求。作者还强调了其架构设计，包括分层结构、高效的数据结构和严格的关注点分离，并辅以生产级代码示例。Hornet 节点与 Hornet DSL 共同为实现比特币共识的纯粹、形式化、可执行规范提供了首个可信方案。

构建闪电网络高可用性 CP 数据库的 MultiChannel 及其优化方案

作者指出，闪电网络可以作为一种全球 CP（Consistency and Partition Tolerance）数据库，但不具有高可用性——而这个问题起源于通道。对此，作者提出了一种面向比特币全球支付的高可用性 CP 数据库 MultiChannel 和 MultiPTLC。

该构造引入了信任动态的转变，要求闪电服务提供商（Lightning Service Providers, LSP）之间在资金安全方面相互信任，同时保证用户资金在任何情况下依然安全。然而，为实现高可用性，该构造降低了 LSP 的安全性，要求 LSP 将资金托付给同一 MultiChannel 内其他 LSP 的多数成员。

在后续的优化和探索中，作者提出了一种基于嵌套 Decker-Wattenhofer 结构的 MultiChannel 变体，旨在通过利用复杂的支付通道网络，减少 LSP 间的相互信任需求——但不能完全消除，从而防止未经授权的资金访问。

比特币去中心化治理的核心：自由用户与自由软件

文章从自由用户和自由软件的角度，分析了比特币治理为何能实现高度的抗审查性及其核心价值。作者认为，作为抗审查的数字货币的比特币，实现的前提是拥有自由用户，而自由用户的基础是自由软件。

他所谓的“自由软件”的定义源于 Richard Stallman 提出的“四项基本自由”，即：任意运行程序的自由、研究和修改程序以符合自己需求的自由、自由复制和传播程序的自由、分发修改版本给他人的自由。而“自由用户”意味着他们能够通过选择不同软件，或拒绝不认可的改动，来防止权力集中或审查机制。作者指出，培养自由用户的关键是用户教育和工具建设，这同时意味着用户需要付出认知成本——但这是维护自治和自由的必要代价，不能依赖隐藏的决策者。

此外，作者将开发者的的角色定位为“自由用户的服务者”，而非权威。开发者应尊重用户的偏好和选择；提供透明信息，支持多样化工具选择，促进多种实现或客户端共存，面对社区的反馈与反对应反思而非强推，避免滥用技术影响力。

现实世界优先 ：Nervape 3X 如何结合芯片与链，将 Web3 带入现实世界

这篇文章介绍了 Nervape 推出的模块化实体收藏品 Nervape 3X 背后的技术理念和愿景——如何通过绑定加密芯片和 CKB 链上的智能合约，实现真实物理藏品与链上资产的安全关联。

Nervape 3X 的设计遵循“物理对象优先；链上所有权必须尊重其现实。” 的原则。链下部分采用了内置加密芯片（NTAG 424DNA），在每次扫描时动态编码和加密；链上部分，基于 CKB Cell 模型和 Spore 协议的智能合约管理资产状态变更与转移验证，无需外部可信方参与

未来的实物-数字资产不仅需要真实性，还需具备可互操作的身份、可编程的金融功能和隐私保护。这一方案为将现实资产整合到区块链提供了可行路径，避免了仅将复制的 NFT 包装为 RWA 的做法。

Jameson Lopp：Bitcoin Knots 从来不是一个严肃的项目

Jameson Lopp 在个人博客中直言，由比特币开发者 Luke Dashjr 主导的 Bitcoin Knots 从不是一个严肃的项目，围绕它的炒作（指近日媒体 The Rage 的报道，称 Luke Dashjr 正在策划一场比特币硬分叉）不应被视为比特币开发的主流动向。

Jameson Lopp 展示了 Luke Dashjr 过去多次的安全失误，以及与 Bitcoin Core 核心开发者间长久的矛盾历史，质疑 Luke Dashjr 作为维护者的领导能力，同时指出 Knots 缺乏核心开发者社区的严格代码审查和安全保障。此外，他还展示了 Luke Dashjr 过去的争议言论，认为他具有不符合开源社区合作精神的反自由观点。

用 8 位电脑、算盘和狗复刻量子因式分解纪录

近年来，量子计算被吹捧为能轻松破解现代密码系统的超级利器。而 Peter Gutmann 和 Stephan Neuhaus 指出，这些量子实验其实多依赖特殊“技巧”，并刻意选取极易分解的数字，实际根本无法对现实中使用的 RSA 加密系统构成威胁，并在论文用具有创造性和幽默感的方式戳破了这一宣传泡沫。

他们指出，那些量子分解实验通过选取非常特殊、容易分解的数字——如两个质因数差距极小的数字，或通过预处理把问题转成非常简单的形式，来制造假象。在正常的 RSA 密钥设计中，RSA 标准要求两个质因数之间差距至少有 100 比特，远超这些实验使用的“简单数字”范围。他们用了一台产于 1981 年的 8 位家用电脑 VIC-20、一台算盘，以及一只训练有素的狗，成功“复现”了许多号称量子计算实现的因式分解纪录（排名：VIC-20 > 算盘 > 狗 > 某次量子因式分解物理实验），以此强调那些纪录并不特殊，也不存在真正破解常用加密系统的威胁。

此外，文章也提出了未来量子因式分解应遵循的标准化评估准则，比如因子规模必须非平凡（64 位或 128 位）、因子必须为两个差值较大的质数，同时满足 0 和 1 位随机分布且比例约为 50:50 等。