TU Wien researchers work to formally prove the security of Bitcoin’s Ark protocol
TU Wien 安全与隐私研究部门正为 Bitcoin 扩容协议 Ark 开发形式化安全证明,项目周期为 2024 年 10 月 1 日至 2025 年 12 月 10 日,由 AKRLabs OÜ 捐赠资助,截至 2026 年 10 月中旬证明仍在开发中。
TU Wien 安全与隐私研究部门正为 Bitcoin 扩容协议 Ark 开发形式化安全证明,项目周期为 2024 年 10 月 1 日至 2025 年 12 月 10 日,由 AKRLabs OÜ 捐赠资助,截至 2026 年 10 月中旬证明仍在开发中。
Babylon 正在推进一项面向 Aave V4 的原生比特币抵押方案,据 The Defiant 报道,抵押品将继续保留在比特币网络上,无需许可的清算流程则使用 WBTC 结算。目前该方案的风险参数设置以及后续治理投票仍待确定。
Babylon Labs 正推进一项方案,让用户用始终留在 Bitcoin 网络上的 BTC 在 Aave V4 上借款。该方案基于 Babylon 的 Trustless Bitcoin Vaults 协议,将 BTC 锁定在自托管的 Taproot UTXO 中,通过 Taproot 脚本和零知识证明执行规则,Aave 侧以内部记账单位 vaultBTC 记录并作为抵押品。
Bitcoin Optech Newsletter #426 回顾播客讨论了 BIP324 的动态单字节消息类型 ID、BIP 中 tagged hash 标签的约定,以及一项无需共识变更即可实现链上隐私比特币转账的提案。
Anthony Towns 提出草案 BIP,允许节点在 BIP324 v2 P2P 传输中自选一字节消息类型 ID,通过 set324alias 消息在连接时公布别名,省去全局协调。
Sui 在 Sui Basecamp 2026 上宣布,其原生比特币金融基础设施 Hashi 主网将于本月晚些时候分阶段上线,已获得来自 20 多个启动联盟成员的超 5 亿美元资本承诺。
Why it matters:Sui officially disclosed Hashi mainnet's phased launch, a $500 million capital commitment, and institutional onboarding paths, showing how Bitcoin collateral enters on-chain markets.
Bitcoin Optech 第424期回顾播客讨论了 PQLN——一项让闪电网络链下部分具备后量子安全性的提案,由 Ahmet Kurt 与 Abdul 提出,并已用 Rust-Lightning 开始实现。
Ahmet Kurt 在 Delving Bitcoin 提出 PQLN 提案,将闪电网络链下协议升级为抗量子安全,并发布论文及基于 rust-lightning 的可测试实现。
Bitcoin Optech Newsletter #423 回顾播客讨论了 Vardiff 控制器导致减速矿工被搁置、Utreexo 初始区块下载(IBD)改进,以及针对不可花费 taproot 内部键的新 BIP 草案。
Bitcoin Optech 通讯 #423 指出,矿池的 vardiff 控制器在矿工降速时可能长期维持过高难度,Eric Price 建议用定时器在固定间隔无份额时下调难度。
Bitcoin Optech 第 422 期回顾播客讨论了 Adam Gibson 提出的 Babilonia 协议,用概率式 coinjoin 伪装成隐蔽投注,以规避 coinjoin 被识别和标记的问题。
Eigen Labs 在 arXiv 发布 ECDSA.fail 预印本,记录逾 100 名参与者及其 AI 代理在约两个月内为 secp256k1 椭圆曲线产出点加电路,使用 1,151 个逻辑量子比特和 130 万 Toffoli 门,Q×T 分数比 Google Quantum AI 2026 年 3 月公布的结果低 50% 以上。
Why it matters:Eigen Labs reviews the open collaboration behind ECDSA.fail, showing how quantum resource estimates were advanced by the community and AI agents.
Blockstream Research 发布 Bitcoin 格基签名完整报告,评估 Dilithium、Falcon 和 Hawk 三种方案,结论是若今天必须为 Bitcoin 选择格签名方案,会选 Falcon-1024。
Blockstream Research 在 Jade Plus、Trezor Safe 3、Ledger Nano gen5/s+ 和 BitBox02 Nova 四款硬件钱包上,用同一套参考 C 库实测五种基于哈希的后量子签名方案,结论是这些设备都能在本地生成签名。