# Satoshi Scoop 周报, 2025 年 10月 3 日

## 加密洞见

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

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

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

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

作者指出，闪电网络可以作为一种全球 CP（Consistency and Partition Tolerance）数据库，但不具有高可用性——而这个问题起源于通道。对此，作者提出了一种面向比特币全球支付的[高可用性 CP 数据库 MultiChannel 和 MultiPTLC](https://delvingbitcoin.org/t/multichannel-and-multiptlc-towards-a-global-high-availability-consistent-partition-tolerant-database-for-bitcoin-payments/1983)。

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

在后续的优化和探索中，作者提出了一种[基于嵌套 Decker-Wattenhofer 结构的 MultiChannel 变](https://delvingbitcoin.org/t/a-decker-wattenhofer-multichannel-for-reduced-inter-lsp-trust/1994)体，旨在通过利用复杂的支付通道网络，减少 LSP 间的相互信任需求——但不能完全消除，从而防止未经授权的资金访问。

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

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

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

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

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

[这篇文章](https://talk.nervos.org/t/the-technique-behind-nervape-3x-road-of-bringing-web3-to-real-world/9554)介绍了 [Nervape](https://www.nervape.com/) 推出的模块化实体收藏品 Nervape 3X 背后的技术理念和愿景——如何通过绑定加密芯片和 CKB 链上的智能合约，实现真实物理藏品与链上资产的安全关联。

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

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

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

Jameson Lopp 在个人博客中[直言](https://blog.lopp.net/knot-a-serious-project/)，由比特币开发者 Luke Dashjr 主导的 Bitcoin Knots 从不是一个严肃的项目，围绕它的炒作（指近日媒体 [The Rage 的报道](https://www.therage.co/leaked-luke-dashjr-bitcoin-hardfork/?utm_source=newsletter.blockspacemedia.com&utm_medium=referral&utm_campaign=btc-dev-luke-dashjr-wants-to-hardfork-bitcoin)，称 Luke Dashjr 正在策划一场比特币硬分叉）不应被视为比特币开发的主流动向。

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

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

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

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

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