Taiko 发布 Raiko:一个革新的多验证者 ZK 证明系统

realtime news  Jun 14, 2024 13:12  UTC 05:12

1 Min Read

Taiko,区块链领域的一位重要玩家,宣布推出 Raiko,这是一款旨在革新以太坊和 zkVM 目标的证明系统的多验证者。根据taiko.mirror.xyz的报道,Raiko 是一个集成环境,能够构建、运行和基准测试 zkVM 目标,支持 Sp1、Risc0 和 SGX,并计划集成 Jolt、Powdr 和 Amazon Nitro。

推进 ZK 中的多重证明

Taiko 一直是去中心化证明供应链的先锋。ZK 中的多重证明意味着多客户端与多 SNARKS 编译在一起,为未来以太坊 L1 中的 SNARKed 客户端多样性打下基础。多重证明方法减少了与客户端实现和证明系统中的漏洞相关的风险。即使一个证明被破坏,其他证明也会保持安全,从而确保稳健性。

ZK 工具链和跨平台目标的创新

ZK 工具链正在迅速发展,但管理它们仍然复杂。Taiko 改进了 RiscZero 和 Succinct 的构建管道,以适应新兴 zkVM 中的大多数 Riscv32 目标。Raiko 泛化的 zkVM 客户端构建管道简化了跨平台集成。

自定义测试框架

Taiko 实施了一个自定义测试框架,将#[test]函数注入程序入口点,允许用户编译测试,库和二进制可执行文件,类似于$cargo test$cargo build --/ []

REVM 中的动态钩子

zkVM 中用于电路优化的预编译补丁被 REVM 中的动态钩子取代,消除了 REVM 分叉中的依赖风险。这些隔离的钩子功能简化了单元测试和基准测试,当与 Taiko 的构建管道结合使用时。

利用 SGX 提高安全性和快速最终确定性

SGX:可靠的守护者

尽管 SGX 存在争议,但它是快速最终确定性的可靠守护者,特别是在 rollups 中。SGX 设置的挑战包括支持来自云提供商的不同 CPU,优化验证中的 gas 成本,以及远程证明。Taiko 使用 Gramine OS 将客户端封装在一个受信任的环境中,并为支持 SGX 的 CPU 提供易于使用的 Docker 和 Kubernetes 配置。

标准化证明者输入

为了简化区块处理,Taiko 构建了一个针对证明用例的主机,标准化了所有 zkVM/TEE 客户端的证明者输入。这涉及收集状态转换的最小信息并生成验证此类输入的状态证明(账户和存储)。

未来计划

Taiko 旨在构建最用户友好、集成的 EVM 兼容区块证明设施。未来计划包括集成更多 Riscv32 zkVM,扩展管道以适应 Wasm zkVM,从 Reth 直接获取数据以跳过 RPC 开销,并模块化体系结构以集成其他 EVM L2 区块证明。

更多信息,请访问 taiko.mirror.xyz



Read More