去年八月,我们发布了基于RISC Zero zkVM的首个Type-1 zkEVM解决方案Zeth,这项创新让开发者能够在零知识环境下执行EVM操作。随着技术的不断演进,今年五月我们对Zeth进行了重要升级,使其支持乐观汇总功能,这是作为Optimism基金会RFP计划的一部分,旨在帮助开发者生成有效性证明,从而在零知识环境下验证汇总推导。
今天我们怀着激动的心情向大家介绍Kailua——这个革命性的软件工具包能够将乐观汇总升级为混合ZK汇总。其首个版本获得了OptimismKona汇总状态转移引擎的支持。Kailua不仅能在zkVM中无缝运行未经修改的Kona系统,更引入了一种突破性的故障证明机制,通过显著降低抵押要求和缩短最终确认时间,为争议解决技术带来了质的飞跃。
认识Kailua
与夏威夷Kona地区同名的Kailua并非一个地名,而是一套功能强大的工具和合约集合。它开创性地将rollup技术从复杂的长期交互式故障证明系统,迁移到基于RISC Zero zkVM生成的简洁短期非交互式ZK故障证明。这套系统包含以下核心组件:用于处理ZK争议的专用合约(目前支持OP Stack rollup)、自动化迁移工具、状态提议代理以及rollup验证代理,共同构成了一个完整的解决方案。需要注意的是,使用Kailua需要OP Stack V1.4或更高版本,因为它采用了先进的DisputeGameFactory合约替代了过时的L2OutputOracle合约。
Kailua如何解决Rollup核心问题
Kailua通过创新的混合系统将零知识证明与乐观rollup模型完美结合,在提升安全性和性能的同时,显著降低了运营成本和最终确认延迟。这一突破性设计在多个维度上展现出卓越优势:
ㅤ | 乐观汇总 | ZK汇总 | 混合汇总(凯卢阿) |
N项挑战的抵押品 | 氮沉积物 | 不适用 | 1押金 |
革命性的成本节约
Kailua的混合模式彻底改变了传统ZK Rollups的经济模型。不同于需要持续承担证明成本的ZK方案,Kailua让rollups能够在不增加额外证明负担的情况下正常运行。这种设计特别适合以下场景:为用户补贴交易费用的rollups、频繁产生空区块的rollups、区块时间较短的rollups,以及需要自定义预编译合约的rollups。最令人振奋的是,在Kailua的创新架构中,使用ZK解决争议的成本完全由不诚实的一方承担。
参与门槛大幅降低
Kailua让rollup在保持安全性的同时,能够灵活地将证明工作负载外包。其验证者可以在计算证明之前发出必要的挑战交易,这种机制使得Kailua混合rollups可以充分利用去中心化证明市场基础设施,如RISC Zero的Boundless,而无需自行构建复杂昂贵的证明基础设施。
抵押成本革命性下降
Kailua不仅显著降低了运营成本,更革命性地将运行rollup所需的抵押成本从线性关系转变为常量。这一突破意味着,即使在较长的最终确认周期下,诚实方维持系统安全所需的最低抵押也可以从数万美元降至数百美元,为行业带来了前所未有的经济效益。
深入理解Kailua故障证明机制
Kailua的争议游戏机制融合了Truebit二分游戏和零知识证明的双重优势。传统二分游戏虽然提供了解决计算结果争议的框架,但其时间敏感性带来了安全风险。Kailua通过引入零知识证明,将最终确认的超时时间从数天缩短至仅一小时,同时彻底消除了资源耗尽攻击的可能性。
这种创新设计不仅大幅缩短了最终确认时间,还显著降低了抵押要求。在Kailua系统中,挑战者只需提供一次抵押品即可担任角色,无需为每个挑战单独抵押。同样的机制也适用于提议者,有效防止了资金雄厚的恶意攻击。
从gas到fumes的进化
Kailua在优化成本方面取得了突破性进展。虽然混合设计引入了额外的数据发布成本,但与完整ZK Rollup的证明成本相比几乎可以忽略不计。在一个活跃的rollup网络中,这种开销仅相当于每区块额外发布32/K字节的数据。以Optimism主网为例,当K=1时,这相当于每2小时15分钟发布一个单一的blob,每笔交易的成本不到0.0001美元。
立即体验Kailua
目前Kailua正处于快速发展阶段,虽然适合测试环境,但暂不建议用于生产环境。这个完全开源的项目已在RISC Zero的GitHub上发布。通过Kailua CLI,开发者可以轻松部署本地OP开发网络,并通过简单命令将其升级为使用ZK故障证明。系统还支持模拟故障场景,让开发者直观了解验证者如何利用RISC Zero zkVM处理异常情况。
在性能方面,Kailua已经展现出令人瞩目的成果。虽然与op-zeth相比周期计数有所增加,但得益于RISC Zero证明器的改进,每笔交易的证明成本已经优化了两到五倍。随着加密加速器的即将集成,Kailua的性能还将获得进一步提升。
声明:
- 本文转载自【risczero】,著作权归属原作者【Rami Khalil】,如对转载有异议,请联系 Gate Learn 团队 ,团队会根据相关流程尽速处理。
- 免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。
- 文章其他语言版本由 Gate Learn 团队翻译, 除非另有说明,否则禁止复制、传播或抄袭经翻译文章。
声明:文章不代表CHAINTT观点及立场,不构成本平台任何投资建议。投资决策需建立在独立思考之上,本文内容仅供参考,风险 自担!转载请注明出处:https://www.chaintt.cn/16894.html