Kailua 是一种用于乐观 Rollup 的混合争议游戏,它通过自适应争议截止点和无需超时响应的挑战机制,实现了快速的最终确定性,同时抵抗审查和拥堵攻击。即使在 L1 拥堵期间,也能保持安全性,并为高 TVL 的链提供配置选项,以满足不同的安全需求。
上周五,我们发布了 Kailua,一种针对乐观 Rollup 的混合争议游戏。我们宣布可能实现 1 小时最终性,这引发了社区的兴奋和疑问。让我们深入了解这意味着什么,并解决关键问题。
针对性的交易审查 | 非针对性的区块拥堵 |
多数攻击 | Gas 价格攻击 |
L1 的 多数审查 暗示着多数 L1 矿工/验证者是不诚实的。在这种暗示下,所有基于争议的协议,如乐观 Rollup,本质上是不安全的。<br>不诚实的 L1 多数可以协调起来,掠夺 Rollup 的 TVL,甚至不需要贿赂。<br>无论争议窗口是几分钟、几天,甚至几年,这种不安全性都将存在! | 对手可能会用高 Gas 费的交易拥堵链,从而有效地阻止争议发生。这完全在链上争议安全性的合理假设范围内。<br>这个问题可以通过 自适应争议截止 (另一种版本 在这里)直接解决 - 这是 OP Kailua 的另一个关键创新。<br>这会导致超时根据高 Gas 费而变化。 |
少数攻击 | Gas 吞吐量攻击 |
在 <50% 的 L1 审查下,平均每隔一个区块丢失,仍然有足够的空间让 Kailua 所需的单个交易落地,即使在一个小时内也是如此!这种一次性争议意图方法是 Kailua 的主要创新之一,在最初的 博客文章 中强调。<br>结论是,在健全的 Rollup 威胁模型下,Kailua 为快速最终性铺平了道路。 | 通过修改最初提出的自适应截止方法,也可以考虑链上运行时间可能出现的衰减,即超时仅在有足够的 Gas 使用量时才进行,从而避免类似于“上海攻击”的问题。<br>这导致超时响应活跃度故障。 |
当前 7 天的争议窗口是众所周知的且方便的,但其底层假设暗示着一个不诚实的 L1 多数,他们可以执行比时间敏感的争议机制所能处理的更强大的攻击!一旦你接受 L1 本身的完全审查会破坏整个生态系统,无论争议窗口大小如何,那么实现一小时提款最终性的剩余障碍就是你的争议机制如何运作。
具体来说,一旦在 Kailua 中发起挑战,对响应没有超时限制,因此证明者可以根据需要花费尽可能多的时间,从而提供对中断的弹性。尽管没有时间限制,但由于 RISC Zero zkVM 的横向扩展模型,即使是最坏情况下的错误证明也可以在一小时内计算出来!
通过 Kailua 和其他争议机制中的权益削减来减少提款延迟。然而,只有在 Kailua 中才能更精细地控制这些延迟。这是一个至关重要的区别:即使在理想的 L1 环境中,在争议和正常的 L1 操作期间提供 1 小时保证在 Kailua 之前是不可能的!只有在 L1 拥堵期间,Kailua 才会延迟最终性以保持安全性!
即使在任何大小争议窗口下以乐观方式运行,Kailua 也旨在通过按需进行有效性证明来实现快速最终性。同样,由于 RISC Zero zkVM 的横向扩展架构,可以并行证明整个已最终确定的区块窗口!
如今广泛采用的 7 天挑战窗口主要是由可能发生针对 Rollup 的上述类型攻击所推动的。然而,考虑到少数审查的影响较低,以及针对拥堵攻击的可行防御措施,L1 多数的不诚实仍然是在起作用的唯一严重的潜在攻击向量。正如我们所指出的,这种攻击向量存在的假设破坏了链上争议机制保护任何乐观协议所必需的核心诚实 L1 多数假设。
然而,一些 7 天窗口的支持者还认为,窗口的长度本身并不是阻止这种攻击向量的唯一威慑因素,而是人们有机会进行干预,并公开抗议公然发生的 7 天审查行为。我们不能真正代表这种方法的有效性。此类事件的结果将非常不可预测。可以说,即使不需要等待 7 天,多数审查也是可以证明的!
在任何情况下,无论你的争议超时时间有多长,Kailua 仍然适合你和你 Rollup 的安全!即使你希望完全消除这种不可预测性,Kailua 也可以让你要求有效性证明并完全避免争议!
在诚实的 L1 多数假设下,链的活跃度可能会受到拥堵攻击的威胁。为了对抗这种情况,Kailua 使用 自适应争议截止 (另一种版本 在这里),它提供的争议超时会根据链上活动而变化。
在这种方法下,首先设置一个预定的 Gas 费和数量,然后争议超时仅在有足够的 Gas 以预定价格可用于可能已触发的争议时才倒计时。
同样,这种方法可以进行调整,以设置 L1 链活动的下限,以便充当其活跃度的信号,并防止影响 L1 吞吐量的攻击。
当然,当没有发生争议时,这可能会显着影响最终性!然而,它可以减轻拥堵攻击,只要它们持续存在,即使超过 7 天!
由于实现和术语上的差异,最终性(finality)和最终确定(finalization)在不同的上下文中可以指不同的事物。主要针对 Rollup:
交易最终性是指 Rollup 交易发布是不可逆转的。
提款最终性是指 Rollup 余额转移到 L1。
在我们的技术文章“Kailua:它是如何工作的”的“最终性延迟”部分中,我们阐明了有多个因素导致“最终性”。将“最终性”从争议系统的一般语境转换为 Rollup 的语境,意味着提款最终性。
你可以完全配置 Kailua 以满足你的需求和担忧。TVL 达到数十亿美元的链可能不会对 1 小时的最终性过于乐观,但它们仍然可以从使用 Kailua 作为其无需许可的 ZK 错误证明系统获得所有抵押品和成本节省。
Kailua 是一种可配置的混合方法。为了在没有争议的情况下获得更高的安全性,你可以配置 Kailua 以使用完整的有效性证明运行,但运营成本更高。
Kailua 为链(无论 TVL 如何)直接跳到完整的 有效性证明,或采取中间步骤铺平了道路。
在 Kailua 中对错误的提款发起挑战不需要证明,只需要一个交易,以确保错误的提款永远不会达到最终性。证明是在挑战之后作为回应提出的。
这意味着只要你的挑战者正在对这些错误提出异议,你的证明后端就有足够的时间!但是,即使你不想管理自己的证明者,Boundless 也会满足你的证明需求!
我们欢迎你对 Kailua 的疑问和疑虑,并将尽最大努力及时解决它们。我们的团队致力于在推进 Rollup 技术的过程中保持透明和响应。
有兴趣实施 Kailua 吗?填写我们的 兴趣表 以与我们联系。
- 原文链接: risczero.com/blog/why-ka...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!