#安全

Bitcoin Optech 第 421 期回顾播客由 Mike Schmidt 主持，Murch、Gustavo Flores Echaiz 与 average_gary、Erick Cestari、Conduition、Greg Sanders 共同讨论本期通讯内容。

Bitcoin Optech 第421期介绍 average_gary 在 Delving Bitcoin 提出的矿池通过 coinbase 交易用静默支付（BIP352）向矿工付款的方案，以及 Erick Cestari 对影响 25.09 之前版本 Core Lightning 的拒绝服务漏洞的负责任披露。

Bitcoin Optech Newsletter #420 复盘播客由 Mike Schmidt、Mark Erhardt、Gustavo Flores Echaiz 主持。

一篇 arXiv 预印本称，作者用覆盖7个月、640万枚代币的 Solana 数据集研究早期 Rug Pull 特征。在该样本中，多数代币上线一小时内已显现相关特征；作者称 XGBoost 等模型仅用上线后的前5分钟交易数据即可识别潜在风险，融合 PumpFun 与 Raydium 数据有助于缓解跨平台差异。目前只核验了作者摘要，误报率、训练与测试集切分、实盘泛化能力尚未独立验证。

Pranay Anchuri、Matteo Campanelli、Rosario Gennaro 在 IACR ePrint 发布预印本，提出在 Q-day 之后仍可安全使用前量子原语的方法：每个生命周期窗口把一个临时前量子密钥绑定到长期后量子身份，使该窗口内的伪造失效，并保证临时密钥暴露不泄露长期私钥。作者以以太坊共识为主要案例，在所述注册、打包与罚没证据规则条件下，方案保留普通 BLS 聚合且无需 SNARK 证明者，每条同消息聚合签名为 96 字节，每个验证者每 epoch 发布 592-688 字节 reveal 数据；每个 epoch 密钥绑定到该 epoch 之前已最终确定的 checkpoint 派生的种子。作者在 ROM 与 QROM 中把不可伪造性归约到 co-CDH'，并指出瞬态安全要求在密钥暴露可影响链的整个区间内抗伪造，按以太坊 attestation 打包规则该区间名义上为两个 epoch 加 reveal 提前量；历史罚没与延迟分叉接受需另列为前提条件。该材料为预印本，未读取全文，档案收录不代表通过同行评审。

以太坊基金会 Trillion Dollar Security（1TS）计划宣布向 Freedom of the Press Foundation（FPF）拨款，支持开源工具 WEBCAT 的持续开发，并将该保护扩展到以太坊钱包和应用。

作者提出 ZKPoSP（Zero-Knowledge Proof of Seed Provenance），在保留现有地址格式的前提下，用 NIZK 证明替换经典签名步骤，其安全性论证不依赖离散对数问题，并在量子随机 oracle 模型下对量子对手给出证明。该方案将证明拆为每密钥对生成一次的派生证明和每条消息生成一次的签名证明，使每条消息的证明成本不随派生深度变化；作者还引入基于 HASH768（以 KMAC256 实例化）的 QBIP32 密钥派生方案。材料为 IACR ePrint 预印本，未读取全文，结果不代表已通过同行评审或已在主网实现。

以太坊基金会 Protocol Security 团队分享了协调多个 AI 代理审计真实协议代码的经验，其中一个代理发现的 libp2p gossipsub 远程可触发 panic 已修复并披露为 CVE-2026-34219。

Kaihua Qin、Dawn Song 和 Arthur Gervais 在 arXiv 发布 SCDBench，一个面向 LLM 智能合约反编译的数据集与评测方法，含 600 份带字节码、源码和可重放语义检查点的真实 Solidity 合约。评测分格式完整性、可编译性、ABI 还原和差分重放语义一致性四个递进阶段。作者测试 Claude Opus 4.7、GPT-5.3-Codex 和 GLM-5 的零样本反编译，发现前沿模型常能产出结构化可编译代码，但语义一致性远未解决，表现最好的模型仅完美还原 42/600 份合约；同模型编译修复能以适度额外成本显著提升表现。该论文为预印本，尚未经过同行评审。

一篇 IACR ePrint 预印本（未经过同行评审）作者称，Du et al.（Security and Communication Networks, 2022）提出的结合 Bloom filter 与区块链的公钥认证可搜索加密方案会从密文中泄露关键词信息，因为密文内嵌的 Bloom filter 由 Diffie-Hellman 密钥和待加密关键词唯一确定并直接包含在密文中。作者称攻击成功概率下界为 Bloom filter 不出现假阳性的概率，评估显示该攻击成功率足够高；对方案安全模型和使用场景的检验也确认了攻击有效性。作者还指出，即使对方案做简单修改，稍作调整的攻击依然有效，且此前生成的密文在搜索结果不同时仍能通过验证，说明基于区块链的完整性验证机制不足。

Kigen Fukuda 与 Shin'ichiro Matsuo 在 IACR ePrint 发布预印本，基于 Bitcoin backbone 协议框架形式化签名迁移过程与量子对手，证明在有效延迟 Δ_eff 至少为 ⌈4/((1−ε)f)⌉ 且 f·Δ_eff=Ω(log²κ) 等条件下，工作量证明链的安全性质迁移活性以压倒性概率成立，其中 Δ_eff 是量子对手在迁移交易广播后伪造交易所需轮数，f 为诚实挖矿成功概率。作者还推导迁移过程与可容忍量子攻击能力的关系，为设计签名迁移方案提供理论基础。该论文为预印本，未经过同行评审。

由钱包开发方、安全公司和以太坊基金会 Trillion Dollar Security Initiative 组成的以太坊工作组发布 Clear Signing 开放标准，旨在终结导致数十亿美元用户损失（含 Bybit 黑客事件）的盲签问题。

作者在 IACR ePrint 发布预印本，提出 Janus，称为首个实现端到端自适应安全的分布式密钥生成（DKG）套件，可作为可信经销商的直接替代，隐藏全部密钥份额并输出兼容现有验证器、钱包和智能合约的标准 DLog 公钥。作者称在安全擦除假设下证明了可对抗协议中途腐化成员且控制不诚实多数的自适应敌手；套件包含两轮生成无偏密钥的 Janus2R 和容忍加性密钥偏移的单轮 Janus1R，节点作恶时两者生成 259 字节可普遍验证的证明用于链上自动罚没。开源 Rust 实现为 16 节点跨洲委员会完成密钥生成耗时 310 ms，可扩展至 512 节点。材料为作者摘要与元数据，未读取论文全文，预印本不代表经过同行评审。

Paradigm 发文提出 PACT（Provable Address-Control Timestamp）方案，让比特币持有者在量子威胁到来前，用 OpenTimestamps 将 BIP-322 地址控制证明的承诺静默、零成本地锚定到链上时间戳，未来若协议通过软分叉日落暴露公钥的地址，持有者可用 STARK 零知识证明该时间戳早于截止点，从而在不公开迁移代币的前提下恢复花费能力。文中指出该方案无需今日分叉、对他人不可见、承诺阶段无链上费用，但救援路径能否被采纳并无保证，且多重签名、复杂脚本与托管钱包仍需进一步标准化。

作者提出一种面向公开可验证秘密共享（PVSS）的新框架，使 dealer 发送单条消息后即可离线、不参与份额验证，主要使用基于身份的加密（IBE）与承诺，避免昂贵的零知识证明。作者称首个构造采用格基 IBE 与哈希承诺实现抗量子安全，性能优于 Gentry 等人（Eurocrypt 2022）；第二个构造改用 Pedersen 同态承诺以支持 PVSS 记录聚合，但因 Pedersen 方案不具备量子安全性，仅提供针对抗量子对手的隐私，作者为此提出名为长期安全的新模型，并在该模型下给出一种区块链兼容的安全投票方案。作者报告的性能为：在 1024 个接收方之间共享秘密耗时 667 ms、验证 dealer 操作小于 5 ms、总通信量 4.4MB，而 Gentry 等人的方案通信量为 251MB、共享秘密需 2060 s。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文，档案收录不代表通过同行评审。

以太坊基金会联合 Secureum、The Red Guild 与 Security Alliance (SEAL) 于 2024 年底启动的 ETH Rangers 计划已结束六个月周期。

一篇 IACR ePrint 预印本（作者摘要，未经同行评审）提出 hint-free 多重签名的形式化研究，称其方案在标准模型下无需递归证明即可实现，通过公开规范化 BLS 多重签名，使验证仅依赖公钥集合而非多重集。作者指出，此前唯一已知的完全 hint-free 构造依赖递归 SNARKs，存在安全启发式不清晰或聚合拓扑深度受限的问题。作者同时说明该方案因使用不可区分性混淆（indistinguishability obfuscation）尚不实用，仅证明该原语的可行性。

Flashbots 发文指出 TEE 远程证明只说明运行了什么代码，不证明机器位于受控数据中心，而商业 TEE 厂商普遍把物理访问攻击排除在威胁模型之外，这一物理访问缺口对角色互不信任的 Web3 场景尤其关键。文章提出 Proof of Cloud 概念，即用密码学证明机密工作负载运行在已知基础设施环境中，并介绍了两种实现：Flashbots 自研的 DCEA 协议通过芯片厂商与数据中心运营方双重信任根、交叉校验 vTPM 的 PCR 与 TDX 的 RTMR 来抵御代理攻击，目前在 Google Cloud 的 Intel TDX 环境上已有原型；Intel 新发布的 POE 则通过 PRID/PIID 与云厂商签名令牌绑定平台的物理所有权，更轻量但不覆盖主机软件栈状态。作者认为两者都是供应链时点快照，最终仍需向 Trustless TEE 方向演进。

这项 arXiv 预印本研究的是2025年上半年 Orca、Raydium 和 Meteora 上新发行的100,063枚代币，作者将其中76,469枚标注为 Rug Pull，涉及冻结权限滥用、抽走流动性和拉高出货三类行为。作者称，随机人工审核382个样本后，估计标注假阳性率为0.26%。这些统计只适用于论文定义的样本与标注口径；本文依据作者摘要，数据和判定规则尚未独立复核。

以太坊基金会与 Secureum TrustX 在 Devconnect Buenos Aires 期间举办 Trillion Dollar Security Day，约八十名以太坊安全从业者按层分组讨论，成果将纳入基金会的 One Trillion Dollar Security (1TS) 计划。

Wojciech Ciszewski、Stefan Dziembowski 等研究者在 IACR ePrint 发布预印本，指出部分个体知识证明类工作把哈希函数建模为可处理长消息的原子随机预言机存在缺陷。作者称 Merkle-Damgard 和海绵结构等实际哈希函数以及比特币挖矿所用哈希都允许对长输入做部分预计算，违反该假设，并据此展示对 Miller 等人（CCS'15）与 Kelkar 等人（CCS'24）方案的实用攻击，同时提出避免依赖该假设的修改版构造。形式化安全分析将在论文完整版中给出。

以太坊基金会宣布启动 Fusaka 审计竞赛，由 Gnosis 和 Lido 联合赞助、在 Sherlock 平台举办，自 9 月 15 日起为期四周，目标是在升级上线前尽可能发现漏洞。

Bitcoin Core 0.14.3 现已发布，包含多项 bug 修复和性能改进。公告指出在 0.14.0 至 0.16.2 版本中发现一个可被矿工利用的拒绝服务漏洞 CVE-2018-17144，建议尽快升级到 0.14.3、0.15.2 或 0.16.3。变更日志涵盖共识、RPC、P2P 网络、GUI 和钱包等修复，安全问题由 awemany 报告。

Bitcoin Core 发布 0.15.2 版本，包含多项 bug 修复、性能改进和翻译更新，并建议受 CVE-2018-17144 拒绝服务漏洞影响的 0.14.0 至 0.16.2 版本尽快升级到 0.15.2 或 0.16.3。

Bitcoin Core 0.16.3 正式发布，这是一个包含多项 bug 修复的小版本。发布说明披露在 0.14.0 至 0.16.2 版本中发现了一个可被矿工利用的拒绝服务漏洞（CVE-2018-17144），建议受影响版本尽快升级到 0.16.3。变更日志包含修复交易重复输入导致崩溃的共识问题等修复，并提示 0.16 及之后创建的钱包不兼容更早版本。

Bitcoin Core 于 17 June 2017 发布 0.14.2 版本，包含多项 bug 修复、性能改进和翻译更新。主要变更是将内置 miniupnpc 更新至 2.0.20170509，修复 CVE-2017-8798 整数符号错误漏洞，该漏洞仅影响通过 GUI 设置或 -upnp 选项显式启用 UPnP 的用户，官方建议尽快升级。

Bitcoin Core 发布 0.11.1 次要版本，带来安全修复并建议尽快升级。主要变更包括：内置 miniupnpc 更新至 1.9.20151008 以修复 XML 解析器缓冲区溢出漏洞。

Bitcoin Core 发布 0.10.3 小版本，带来安全修复和翻译更新，建议尽快升级。主要变更包括：内置 miniupnpc 更新至 1.9.20151008 以修复 XML 解析器缓冲区溢出漏洞。

Bitcoin Core 发布 0.9.2 版本，主要包含漏洞修复和少量改进，因安全问题 CVE-2014-0224 将 gitian 构建中的 OpenSSL 依赖升级到 1.0.1h，官方建议升级。

Bitcoin Core 于 8 April 2014 发布 0.9.1 版本，作为安全更新建议尽快升级，尤其是当前使用 0.9.0 图形界面、或使用更早版本 bitcoind 并为 RPC 启用 SSL 且 allowip 允许潜在恶意主机连接的用户。