Taiko 发布 Raiko：一个革新的多验证者 ZK 证明系统
realtime news Jun 14, 2024 05:12
Taiko 推出 Raiko，一个针对以太坊和 zkVM 目标的多验证者，提升了安全性和效率。
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。
Image source: Shutterstock