本文介绍了Kailua，一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏，解决了当前rollup的核心问题，如降低运营成本、减少抵押要求和最终性延迟，同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。
本文比较了欺诈证明和有效性证明这两种用于rollup的交易有效性检查机制，介绍了它们的工作原理、特点及优缺点。欺诈证明用于乐观rollup，假定所有交易都是有效的，而有效性证明用于ZK rollup，通过计算每批交易的有效性证明以确保交易的正确性。
RISC ZERO
cyfrin