Ziren v1.2.5 发布：迈向 Geth 实时证明

Ziren v1.2.5 现已上线。此版本重点在于加强 Ziren 证明大型 Geth 和 keeper 导向工作负载的路径。

Ziren 已经对 Go runtime 的 GC 和 scheduler 进行了补丁处理，并且相对于 Reth 达到了大约 4 倍的指令开销效率。这使得为以太坊使用最广泛的执行客户端实现实时证明成为可能。与此同时，此版本强化了这些工作负载所依赖的 Linux ABI 路径，提高了 Guest 执行与证明系统边界处的正确性。

与此同时，该版本还包括 syscall AIR 强化、畸形输入验证器保护、参数和结果的核心到预编译（core-to-precompile）查找，以及在算术、曲线、位逻辑和除法处理方面的广泛正确性修复。这是为了加强开发者最终必须信任的技术栈部分。

支持更大型的 Geth 导向证明工作负载

v1.2.5 通过新的和重新生成的 shape、修复 build-shapes 内存溢出（out-of-memory）问题以及支持覆盖 100 个 Geth 区块的 shape，扩展了大型 Geth 导向证明工作负载的 shape 生成。

这改进了围绕大型证明配置的基础设施，并使更繁重的执行客户端风格工作负载在实践中更易于处理。

强化执行与验证

v1.2.5 更深层的故事是围绕真实执行路径的强化。

该版本包括主要的 syscall AIR 工作、Linux 系统调用相关的修复（例如 is_linux_syscall 的非约束性 Bug 和修复后的 Go runtime time 系统调用路径）、畸形输入的验证器保护、参数和结果的核心到预编译查找，以及包括算术、位逻辑、曲线参数、位移行为和范围处理在内的核心组件的多项正确性修复。

其结果是降低了整个证明栈的脆弱性，并在影响真实执行和验证的地方提高了正确性的严密性。

为集成商和 BitVM2/3 降低升级摩擦

该版本还使 Groth16 验证密钥（verification key）不受 Ziren 升级的影响，同时增加了历史 VK 捆绑和公共输入验证支持。

这减少了升级过程中的验证端中断，使系统更易于维护。这对于 BitVM2/3 类型的系统也很重要，在这种系统中，保持证明系统的可升级性至关重要。在实践中，这支持了如 GOAT Network 这种基于 BitVM 架构的系统，其中证明系统的可维护性是长期可用性的关键。

变更摘要

简而言之，v1.2.5 提高了整个证明器栈的正确性、稳定性和集成可靠性。它加强了通往更大型 Geth 和 keeper 导向工作负载的路径，强化了 Linux ABI 和系统调用相关的执行路径，并为包括 BitVM2/3 系统在内的集成商提供了更稳定的升级路径。

如果你正在构建需要具有更强执行正确性、更好支持大型证明工作负载以及更低集成摩擦的生产导向 zkVM 的系统，请从今天开始使用 Ziren 进行构建。

• 原文链接： x.com/projectzkm/status/...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～