OP Stack 的进阶之路：OP Succinct 解锁 ZK Rollup 潜力

据 2024 年 3 月 30 日消息，OP Labs 在 OP Sepoila 测试网发布了「故障证明」，并于 2024 年 6 月 11 日正式在 OP Mainnet 发布故障证明，以此将去中心化推进至第一阶段，其允许从 OP Mainnet 提取 ETH 与 ERC-20 代币，在无需可信第三方情况下使用户能够质疑与删除无效提款（包括 Base、Metal、Mode 和 Zora）。 为确保用户资产的安全和信任，Optimism 采用故障证明来提高链上交易的准确性和有效性并防止作恶，其原理包括： 数据可用性：故障证明首先确保所有 Layer-2 上的数据都是可访问的，并且可以被 Layer-1 验证；挑战期：在一定的挑战期内，任何人都可以对 Layer-2 上的数据提出异议。 如果有人发现 Layer-2 的数据与 Layer-1 的数据不一致，他们可以提出挑战。证明提交：如果存在异议，Layer-2 运营商需要提交证明来反驳这些异议，证明其数据的正确性；最终确定性：如果在挑战期内没有有效的异议，或者 Layer-2 运营商成功反驳了异议，交易就会被最终确定并被认为是有效的。 Succinct 认为 EVM Rollup 未来是用 Rust 语言来编写的可维护的 zkEVM，目前 OP Rollup 主要面临三个问题：过长的 7 天欺诈证明窗口、复杂的互操作性，以及在某些情况下依赖多组数据而非欺诈证明的机制。此外，创建 zkEVM 是一个需要较长周期的过程，因此开发了 SP1 来解决这些问题。 SP1 是一个高性能 100% 开源且完全开源定制的 zkVM，可验证任意的 Rust (或 LVM 编译语言) 程序的执行，据公开数据，OP Succinct Stack 已在 OP Mainnet、OP Sepolia 和 Base 链上成功运行，并在以太坊交易中实现了 0.01-0.02 美元的证明成本（见扩展链接 3）。并希望在未来将所有区块链基础设施（包括 Rollup、桥接器、协处理器等）都通过 Rust（或其他 LLVM 编译的语言）来编写并利用 ZKP。\n原文链接