导语:在 Liquid Network 发生未经授权的 peg-out、导致其 Federation 钱包流失近 4,000 枚 BTC 后,RootstockLabs 联合创始人兼首席科学家 Sergio Lerner 呼吁比特币跨链桥采用强制提款延迟。他认为,即时结算会把单个验证漏洞变成全额损失。
Lerner:时间延迟锁可把灾难变成可控事件
Lerner 对 crypto.news 表示,时间延迟锁可让跨链桥运营者在资金离开桥之前,有数小时时间识别并阻止可疑提款。他说:“如果没有时间延迟锁,单个验证漏洞和全额损失就会成为同一件事,因为软件一说‘是’,资金就会移动。”
他指出,在无背书 L-BTC 被创建与真实 BTC 被释放之间设置强制延迟,可以降低损害。在该系统下,软件批准不会立即完成提款,而是启动等待期。自动化监控工具可将请求的 peg-out 与支撑 L-BTC 的 BTC 进行比对,并在结算前标记任何失衡。
Lerner 说:“如果 Liquid 拥有时间延迟锁——无论软件或运营者怎么说,资金在指定时间内都不能移动——这个漏洞将导致一起可管理的事件,而不是立即发生的全面灾难。”
Liquid 事件:近 4,000 BTC 异常流出,约 598 BTC 尚未归还
此次评论源于一起事件:行为者创建了无背书的 L-BTC,并利用 SideSwap 的 peg-out 服务,从 Liquid Federation 钱包提取了近 4,000 枚 BTC。Liquid 将这些行为者称为所谓的白帽黑客。SideSwap 表示,其服务处理了该请求,因为相关 L-BTC 看起来有效。
在 Blockstream 确认受影响的桥节点已修补后,行为者后来归还了 3,400 枚 BTC。约 598 枚 BTC 仍未归还。截至 9 月 10 日,Liquid 已恢复区块生产,但未恢复交易或 peg 操作。
Liquid 的系统未报告 Peg-out 授权密钥被盗。SideSwap 表示,一名客户向其 peg-out 服务发送了 4,000 枚 L-BTC,该服务按正常流程处理,因为这些代币无法与有背书的 L-BTC 区分。约 23 分钟后,联邦向提供的比特币地址支付了 3,996 枚 BTC。
Rootstock 已有 4,000 区块提款延迟
Rootstock 已在其双向 peg 的 BTC 提款中使用延迟机制,尽管比特币共识规则并不强制执行该等待期。该系统依赖名为 PowHSM 的专用硬件安全模块。在签署 peg-out 前,设备会独立验证已过去 4,000 个 Rootstock 区块,约代表 36 小时的累计工作量证明。Lerner 表示,私钥始终留在设备内,职能方无法指示硬件绕过规定期限。
Rootstock 将 HSM 规则与合并挖矿结合,后者让比特币矿工为侧链贡献工作量证明。Lerner 说:“即使合谋的多数锚定节点运营者也无法窃取资金,因为私钥从不离开 PowHSM,而 HSM 会独立验证 4,000 个 Rootstock 区块已经过去,才会签名。”
Rootstock 的模式假设,通过合并挖矿参与的大多数比特币算力和联邦职能方不会合作停止网络。Lerner 表示,被攻陷的职能方可以中断 peg 操作,造成活性问题,但 HSM 规则会阻止他们强制进行未经授权的提前提款。当监控工具发现可疑活动时,职能方可以关闭其 HSM,使待处理的 peg-out 无法获得签名。Lerner 将这种暂停描述为在运营者检查问题并决定如何推进时,保护底层 BTC 的一种方式。他说:“合谋多数最坏只能暂停 peg,但他们不能强制进行未经授权的提款。”
分布式撤销控制可限制冻结权限
停止待处理提款会引入另一项风险,因为同一权力可能被用来延迟合法用户。Lerner 表示,不应由任何单一公司、运营者或管理员控制撤销机制。相反,独立职能方应通过多方结构共享权限,并由硬件规则限制其行为。按照他的提议,职能方可以暂停处理,但不能将 BTC 重定向到另一地址或没收它。
Lerner 说:“为防止单点故障或中心化审查,撤销控制应通过硬件强制规则,分布在独立的多方职能方之间,而不是由中心化管理员密钥控制。”此类控制仍允许足够多的职能方共同行动时中断提款。Lerner 的区分在于权限范围:运营者可暂时拒绝签名以审查异常,但不能创建有效交易,将抵押品转给自己。
时间延迟还需要考虑每笔交易的价值和目的。36 小时等待可能不适合日常支付,而持有大量 BTC 的跨链桥风险状况不同。Lerner 表示,高价值结算系统应把时间视为一种安全控制,类似实体银行金库使用的延迟机制。提款期可按交易规模变化,或根据风险中的抵押品要求不同的累计工作量证明阈值。较短期限可用于较小转账,较长期限则给自动化系统和人工响应者更多时间检查异常大额请求。
Lerner 没有为每座跨链桥规定统一延迟,但引用 Rootstock 的 4,000 区块要求,称其对于保护大量 BTC 余额的基础设施是有效期限。
原生比特币金库可把保障写入共识
Rootstock 当前保护依赖其 HSM 和联邦,而非比特币网络强制执行的规则。Lerner 表示,原生比特币金库和撤销密钥可将类似控制移入基础协议。一个可能的构建模块是 BIP-443,这是一项关于名为 OP_CHECKCONTRACTVERIFY(OP_CCV)的操作码的草案提案。该提案将允许比特币输出携带数据,并限制其资金在未来交易中的移动方式。
BIP-443 将 OP_CCV 描述为需要软分叉的共识变更。其列出的用途包括可携带状态的比特币输出、侧链,以及允许反应式安全的两步提款结构。该提案仍处于草案状态,激活流程尚未确定。
Lerner 引用 OP_CCV 和 BIP-443 作为例子,说明原生金库如何让用户或指定方在发现被盗凭证、软件被篡改或其他异常事件后,有时间取消提款。将机制移入比特币共识,可减少对跨链桥特定 HSM 政策的依赖。矿工、职能方或管理员将必须遵守附加在比特币输出上的花费条件,而不是在资金已经移动后施加自由裁量的暂停。
对于大额跨链桥提款,Lerner 表示,延迟应持续足够长时间,以便自动化警报和人工运营者在 BTC 最终可由接收方花费之前,识别问题、停止处理并检查受影响的软件。
