摘要:BB84作为OP Stack在以太坊主网的实验性实例,采用无签名机制抵御量子攻击。该设计通过哈希链实现支付验证,但面临承诺规则漏洞与信任依赖等挑战,其安全性与可扩展性仍处探索阶段。

币圈界报道:
BB84链正式部署:基于哈希链的抗量子支付系统启动
自9月30日起,名为BB84的实验性Rollup网络已在以太坊主网上线。其协议默认配置为每条哈希链包含1,000次支付操作。此前发现的前运行(Front-running)漏洞已于10月21日完成修复并生效。项目创始人Hadamard于10月24日在Ethereum Research论坛发布技术文档,详细阐述该系统的构造逻辑,并邀请社区提出批判性意见。
去签名化设计:构建抗量子身份验证体系
传统以太坊账户依赖ECDSA签名进行交易授权,而具备足够算力的量子计算机若运行Shor算法,理论上可破解此类密钥。尽管当前尚无实际威胁,但开发者已着手推进后量子安全方案。BB84链(链ID: 42069000)是首个完全移除签名机制的以太坊原生实例。
每个账户通过反复应用Keccak-256哈希函数生成秘密值链,仅链尾值对外公开。每次支付时,钱包需披露前一节点值,外部可通过一次哈希验证其有效性。系统将账户沿链前移一步,协议默认步数为1,000步;开发工具CLI则为一次性地址创建仅含10步的短链。一旦支付失败,仍将消耗一个步骤,且该链将拒绝任何常规签名交易。
目前仅支持桥接的USDC与EURC资产。用户提交承诺与揭示交易均免手续费,付款人须为每位接收方创建独立的一次性地址。
安全边界评估:理论优势与现实局限并存
系统核心依赖于Keccak-256函数的不可逆特性,即便面对Grover算法的量子搜索,其安全性仍可维持在约2^128级别。然而,由于地址长度被压缩至160位,实际抗量子能力退化至约2^80。尽管官方文档宣称具备128位后量子安全,但未明确指出此关键限制。
此外,资金进出仍依赖传统以太坊钱包——存款来自标准ECDSA账户,取款也最终汇入此类钱包,形成安全链条中的薄弱环节。
动态承诺机制中的潜在风险与修复
由于揭示过程会暴露秘密值,存在被旁观者复制用于收款的风险。为此,钱包首先发送一笔不显示秘密的承诺交易,锁定该值至特定支付。默认情况下,揭示必须在五区块内完成。
早期版本中,承诺交易无签名机制,新提交直接覆盖旧有承诺。攻击者可在待处理揭示中获取秘密后,插入绑定自身地址的新承诺。团队在撰写本文期间识别出此漏洞,并于10月21日通过新规则予以修复:首次提交的承诺具有优先权;仅当匹配揭示成功或超时后,插槽才释放;钱包在揭示前需等待承诺上链;公共RPC节点不再暴露待处理状态。
未完全解决的威胁模型与防御盲区
恶意干扰(Griefing)风险依然存在:任何用户均可发布无效承诺,导致某地址阻塞长达五个区块,虽无法窃取资金,但造成服务中断。作恶排序器(Rogue Sequencer)亦构成隐患:若诚实承诺在其揭示期间因重组或过期失效,秘密将失去锁定保护。
目前仅有BB84自身的排序器可见待处理交易。创始人建议引入更严格的“盖伊·福克斯”规则——即追加承诺而非替换,但尚未实施。其文档进一步强调,承诺与揭示机制可防止排序器窃取提款。
账户生命周期管理:计数同步与续期要求
由于每条哈希链步数固定,钱包必须在最后一步通过在最终支付中嵌入新承诺来续期。若错过该步骤,账户将永久失效。同时,计数一致性至关重要:曾出现应用程序与链数据不同步的情况,因此钱包必须具备从链上重新同步的能力。
尽管签名机制已被移除,但秘密值仍需如密钥般严加保护。CLI工具警告其钱包文件以明文存储支出密钥,加密功能列为未来路线图任务。去签名并未消除对秘密的防护需求,仅改变了授权方式。
信任结构分析:提款依赖运营方信誉
提现流程本质上建立在对运营商的信任之上。BB84未启用故障证明(Fault Proofs)机制。经批准的提议者通过自定义争议游戏将网络状态提交至以太坊,该机制即时结算,缺乏证明系统支撑。
Hadamard指出,依据L2BEAT框架,该链尚未进入第0阶段。因此,提款依赖提议者的诚实行为。尽管文档仍称提款遵循OP Stack的故障证明流程并设有七天成熟延迟,但正如Optimism所解释,该延迟期内并无可挑战内容。排序器由BB84自行运行,进一步集中了控制权。
| 操作阶段 | 所需信任对象 |
| 从以太坊存入 | 普通ECDSA钱包与桥接合约 |
| 在BB84上支付 | 哈希链秘密、承诺规则与BB84排序器 |
| 标准提款(7天或以上) | 经批准的提议者 |
| 商户快速提款(2小时) | 提议者与注册表运营商 |
未来演进路径与系统扩展潜力
文章结尾探讨了该技术模式的更大可能性。核心问题是:哈希链账户能否成为通用Layer 2网络中类似EIP-7702或原生账户抽象的验证范式,从而避免迁移至专用链即可实现广泛应用。
故障证明方面,使用Optimism现有的Cannon工具包可轻松实现额外校验。更稳健的承诺规则——追加而非替换的设计,有望填补干扰与排序器漏洞。一份涵盖完整规则的长篇论文正在准备上传至arXiv。此外,以太坊整体量子安全路线图还包括验证者签名、数据承诺及证明系统的升级。
本文仅提供技术信息,不构成财务或投资建议。实验性网络存在显著的技术与托管风险。
声明:本站所有文章内容,均为采集网络资源,不代表本站观点及立场,不构成任何投资建议!如若内容侵犯了原著者的合法权益,可联系本站删除。
