/ home / newsletters /
Bitcoin Optech Newsletter #273
本周的新闻简单提及了最近一项影响闪电网络用户的安全披露，介绍了一篇关于根据任意程序的运行结果进行支付的论文，并公告了一份为 MuSig2 增设 PSBT 字段的 BIP 提议。此外就是我们的常规栏目：客户端和服务的优化总结、新版本和候选版本公告，以及热门的比特币基础设施软件的重大变更简介。
新闻
-
● 影响闪电网络的安全问题披露：Antoine Riard 在 Bitcoin-Dev 和 Lightning-Dev 邮件组中发帖，完整披露了一项他曾经尽责披露给比特币协议以及多个热门的闪电节点实现的开发者的安全问题。Core Lightning、Eclair、LDK 和 LND 的最新版本都已经包含了让攻击更难实现的缓解措施，虽然这些措施无法完全消除最根本的顾虑。
此次披露是在 Optech 的新闻部分的惯例截止时间之后发生的，所以我们只能在本栏目中提供上述链接。我们会在下周的新闻栏目中按照惯例提供一份总结。
-
● 根据任意计算的结果支付：Robin Linus 在 Bitcoin-Dev 邮件组中发帖，列出了一份他撰写的关于 BitVM 的论文；BitVM 组合了许多方法，允许比特币支付给一个成功证明某个任意程序成功执行的结果的人。重要的是，这在当前的比特币上就能够实现 —— 不需要共识变更。
再提供一些背景。比特币的一个众所周知的特性是要求某人来满足一个程序表达式（叫做 “脚本（script）”），以花费跟这个脚本相关联的比特币。举个例子，一个包含了某个公钥的脚本仅能被相关的私钥所创建的、承诺到一笔花费交易的签名满足。脚本必须使用比特币的语言（称为 “ Script ”）来编写，以便由共识来强制执行。但是 Script 的灵活性是被有意限制的。
Linus 的论文绕开某一些限制。如果 Alice 相信 Bob 会在程序不正确运行时采取行动，但不希望在别的事情上信任他，她可以将资金存放到一棵 taproot 脚本树上，这个脚本树将允许 Bob 在能够证明 Alice 错误地运行了某个（任意灵活的）程序时取走其中的资金。如果 Alice 正确地运行了承诺，那么她就可以花费这笔资金，即便 Bob 尝试阻止她，也不可能成功。
为了使用一个任意程序，这个程序必须被打散成非常基本的单元（与非门），并且需要为每一个门制作一个承诺。这需要双方在链下交换非常多的数据，甚至可能一个非常基础的任意程序就需要交换几个 GB 的数据 —— 但在 Bob 认同 Alice 正确运行了程序的时候，Alice 和 Bob 只需在链上使用一笔交易，就可以结算。而在 Bob 不认可的时候，他需要在非常少的几笔链上交易中证明 Alice 的错误。如果这套装置是在 Alice 和 Bob 之间的支付通道中执行的，那么多个程序可以并行执行，当然也可以串行执行，而不会产生链上足迹，除了通道建立、合作关闭或者强制关闭（Bob 尝试证明 Alice 没有按照任意程序的逻辑正确地执行）以外。
在 Alice 和 Bob 是天然对手的时候，BitVM 可以免信任地应用，比如，他们可以把钱交给一个输出，然后让这个输出支付给双方的一局象棋比赛的赢家。然后，他们可以使用两个（几乎一摸一样）的任意程序，两个都以相同的行棋步骤的任何集合作为输入。一个会在 Alice 胜出时返回 True，而另一个会在 Bob 胜出时返回 True。然后，一方会发布一条链上交易，声称自己这方的程序会输出 True（也就是自己赢了比赛），而另一方要么接受（愿赌服输），要么证明对手在欺诈（如果成功，将能追回资金）。在 Alice 和 Bob 不是天然对手的时候，Alice 也许可以激励 Bob 来验证计算的正确性，例如，向 Bob 承诺只需要他能证明自己没有正确运行计算，就把钱给他。
这个想法在邮件组、 Twitter 和多个关注比特币的播客中收到了大量的讨论，我们预期未来的几周乃至几个月，讨论会继续发酵。
-
● 提议为 PSBT 加入 MuSig2 字段的 BIP：Andrew Chow 在 Bitcoin-Dev 邮件组中发帖了一份BIP 草案，部分基于 Sanket Kanjalkar 之前的工作，要求在 PSBTs 的所有版本中添加几个字段，以放置 “公钥、公开 nonce 值，以及使用 MuSig2 产生的碎片签名”。
Anthony Towns 询问 这个 BIP 提议是否也会为 “适配器签名” 添加字段，但后续的讨论暗示，这可能需要一个单独的 BIP 来定义。
服务和客户端软件的改变
在这个月度栏目中，我们将列举比特币钱包和服务的有趣升级。
-
● BIP-329 Python 库发布：BIP-329 Python 库 是一组工具，可以阅读、撰写、加密和解密兼容 BIP329 的钱包标签文件。
-
● 闪电网络测试工具 Doppler 推出：刚刚宣布，Doppler 支持使用一种 “域名专属语言（DSL）” 来定义比特币和闪电节点的网络拓扑以及 链上/链下 的支付活动，以同时测试 LND、CLN 和 Eclair 实现。
-
● Coldcard Mk4 v5.2.0 发布：这个固件升级包含对 BIP370 版本 2 PSBTs 的支持，对 BIP39 的额外支持，以及多项有关种子词的功能。
-
● Tapleaf circuits：一个 BitVM 样品：Tapleaf circuits 是使用本周新闻栏目所述的 BitVM 方法实现 Bristol 电路的一个概念验证实现。
-
● Samourai 钱包 0.99.98i 发布：这个 0.99.98i 版本包含了额外的 PSBT、UTXO 标签和批量发送特性支持。
新版本和候选版本
热门的比特币基础设施项目的新版本和候选版本。请考虑升级到新版本，或者帮助测试候选版本。
- ● Bitcoin Core 24.2rc2 和 Bitcoin Core 25.1rc1 是 Bitcoin Core 的维护版本的候选版本。
重大的代码和文档变更
本周出现重大变更的有：Bitcoin Core、Core Lightning、Eclair、LDK、LND、libsecp256k1、Hardware Wallet Interface (HWI)、Rust Bitcoin、BTCPay Server、BDK、Bitcoin Improvement Proposals (BIPs)、Lightning BOLTs 和 Bitcoin Inquisition。
-
● Bitcoin Core #27255 将 miniscript 移植成 tapscript。这个代码变更让 P2TR 输出描述符 也可以使用 miniscript，添加了观察和签名 “TapMiniscript 描述符” 的支持。以前，miniscript 仅能用在 P2WSH 输出描述符中。这个 PR 的作者指出，引入了一个新的、专属于 P2TR 描述符的
multi_a片段，以匹配multi在 P2WSH 描述符中的语义。这个 PR 的讨论也指出，大量的工作都花费在正确地跟踪 tapscript 所改变的资源花费限制上。 -
● Eclair #2703 会在节点的余额较低，可能需要拒绝转发支付的时候，劝阻花费者通过这个节点来转发支付。这是通过让节点广告自己调低了的 HTLC 数额上限来实现的。防止支付被拒绝可以提升花费者的体验，并帮助避免节点被寻路系统惩罚（该系统会对近期转发支付失败的节点降低评级）。