Bitcoin Optech 简报 #430
关于利用 TCP hole punching 让家庭路由器后的节点可被连接的讨论仍在继续。简报还介绍了一份 BIP 草案,用于标准化模拟 covenants 时共同签名者执行的支出策略。
Bitcoin Optech
面向工程师的每周技术简报,报道比特币与闪电网络的开发进展。
17 篇文章
关于利用 TCP hole punching 让家庭路由器后的节点可被连接的讨论仍在继续。简报还介绍了一份 BIP 草案,用于标准化模拟 covenants 时共同签名者执行的支出策略。
Bitcoin Optech
Greg Sanders、Antoine Poinsot、Elias Rohrer、Oleksandr Kurbatov 和 Nishant Bansal 做客 Optech 的 #429 回顾节目。开场先聊 Bitcoin Core 的 #36665、#36667、#36669,接着谈更新后的安全政策;多方静默支付、Core Lightning 的 DoS 漏洞披露和 Eclair 0.14.6 放在后半段。文字稿还没出来。
Bitcoin Optech
只要一条两端都指向同一节点的通道公告,就能让 Core Lightning 25.02 至 26.04 每次重启都崩溃,攻击者付出的不过是链上手续费;26.04.1 已修复。周报 #429 同时收录 Oleksandr Kurbatov 的多方静默支付输入协议,并介绍 Bitcoin Core 针对容易被发现的漏洞加快发布小版本的做法。
Bitcoin Optech
Adam Gibson 在 #428 回顾节目中详解 Lichen:他设计的单一发行方二层方案,用户可单方面退出,由 BitVM 验证。João Dias 和 Vincenzo Palazzo 也受邀做客,主持人是 Gustavo Flores Echaiz 与 Brandon Black;节目还谈到哈希原像的描述符语法、rbitcoin 0.8.0 和 LND v0.21.5-beta.rc1。
Bitcoin Optech
Adam Gibson 设计的 Lichen 面向单一发行方的二层网络:枢纽拒绝服务或离线时,用户仍能在链上赎回比特币,纠纷靠 Groth16 证明和预签名的 BitVMX 交易解决。周报 #428 的第二条是 João Dias 的提案,为 miniscript 哈希片段增加私密原像形式;软件更新部分收录 Ibis Wallet v5.0-beta 和 rbitcoin 0.8.0。
Bitcoin Optech
Eclair 通道开启握手中的两个内存漏洞,Erick Cestari 在 #427 回顾节目里逐一讲解:一个由 Matt Morehouse 的模糊测试工具发现,另一个靠 LLM 找到。随后 Adam Gibson 介绍 LN-GAP,举的例子是在闪电通道里下一盘国际象棋。节目后段谈到 Bitcoin Core 32.0rc4 和一批 Eclair 修复。
Bitcoin Optech
Eclair v0.14.0 及更早版本在开启通道时可能被耗尽内存:一个漏洞每秒泄漏约 1 MB,另一个只凭单条连接、不花链上费用,约 48 分钟就能吃掉 4 GB。v0.14.1 两者都已修复。周报 #427 同期介绍 Adam Gibson 的 LN-GAP,这一方案在闪电通道内运行多轮合约,依赖诚实多数委员会。
Bitcoin Optech
Clara Shikhelman 在 #426 回顾节目开场介绍她参与撰写的 Shielded Bitcoin:转移比特币时不公开发送方、接收方和金额,也不需要共识变更或运营方。Spiral 的 Elias Rohrer 接着讲 LDK v0.3-rc3、v0.2.7 两个版本和 LDK 的代码改动,主持人为 Gustavo Flores Echaiz。
Bitcoin Optech
Misha Komarov 与 Clara Shikhelman、Aleksei Moskvin 提出 Shielded Bitcoin,一种链上隐私转账的元协议,无需共识变更,但要做一次性初始化仪式,进出时也会留下痕迹。Anthony Towns 起草了一份 BIP,让对等节点在 BIP324 传输层上自行选定单字节消息 ID;Fabian Jahr 则提问,带标签哈希的标签是否应带上 BIP 编号。
Bitcoin Optech
处理一条最大长度的消息,Eclair 的特性位解析器竟要分配 300 MB 以上内存,Matt Morehouse 在 #425 回顾节目中说,修复后降到约 200 KB。Gustavo Flores Echaiz 和 Brandon Black 随后聊到钱包标签同步、PQC 输出类型、BIP54 的时间扭曲界限,以及用于保险库的限制条款提案。
Bitcoin Optech
在 Eclair v0.13.1 及更早版本中,一次 64 kB 的 gossip 查询能膨胀到 64 MB,一条最大长度的 init 消息也要折腾掉约 300 MB;Matt Morehouse 披露了这两个 DoS 漏洞,v0.14.0 已修复。Jakub 在试探社区是否有兴趣通过不受信任的存储同步 BIP329 钱包标签,周报 #425 的共识栏目则再度讨论后量子输出类型。
Bitcoin Optech
PQLN 要给闪电网络的链下环节带来后量子安全,Ahmet Kurt 在 Optech 节目的首个预录环节里作了讲解。直播部分由 Gustavo Flores Echaiz 和 Mike Schmidt 主持,嘉宾 Jan B 是 Bitcoin Core 贡献者,审查 PR 并参与 kernel 代码开发,议程包括 Bitcoin Core 32.0rc2 及其测试指南。
Bitcoin Optech
Ahmet Kurt 等人提出的 PQLN 让闪电网络的 gossip、传输层、发票、offers 和洋葱路由具备抗量子能力,但不碰链上操作,因为那需要共识变更。代价是带宽:节点下载量增至 10 倍,存储量增至 9 倍;ML-DSA 签名只需 0.33 ms。基于 rust-lightning 的可用实现现在就能测试。
Bitcoin Optech
节点原本要保存约 11 GB 的 UTXO 集,而 Utreexo 的累加器不足 1 kB,Davidson Souza 在 #423 回顾节目中解释说,代价是占用更多带宽。MARA 的 Eric Price 和 PortlandHODL 也来做客,议题还有让降速矿工陷入困境的 vardiff 控制器,以及不可花费内部公钥的 BIP 草案。
Bitcoin Optech
Eric Price 在 Delving Bitcoin 上指出,矿工速度变慢后,矿池可能仍按原来的速度设定份额难度,把矿工晾在一边;他的办法是设一个计时器,一段时间没有提交份额就下调难度。Davidson Souza 希望用 SwiftSync hintsfile 省去初始区块下载期间的 Utreexo 删除证明,NTL 则起草了不可花费 Taproot 内部公钥的 BIP。
Bitcoin Optech
Adam Gibson 向 Optech 主持人 Mark Erhardt 和 Mike Schmidt 介绍 Babilonia,他把 CoinJoin 伪装成秘密赌局的协议,并提到 Ron Rivest 1997 年关于彩票式微支付的论文,视其为概率支付的早期源头。Rob Segers 随后谈他对静默支付轻客户端的测量结果。
Bitcoin Optech
Babilonia 是 Adam Gibson 的新提案,把 CoinJoin 包装成链上抛硬币,外人看来与普通支付无异,不过他的论文也承认,协议效果目前还没有明确的衡量标准。Rob Segers 的基准测试显示,BlindBit Oracle v2 的下载量约为仅含 Taproot 的过滤器加 tweak 数据的 2.1 倍,换来的是零误报。LDK v0.2.6 修补了一个拒绝服务漏洞。
Bitcoin Optech