ZKM 特别报道 @ProjectZKM 发布了 zkMIPS 1.0，这是其基于 MIPS 的虚拟机的首个完全生产就绪版本，专为高性能可验证计算设计： 这是自项目启动以来最重要的一次升级，通过全面的技术改造，性能较版本 0.3.0 提升了 6 倍至 19 倍。 此次升级的一些关键方面包括： • 架构从 MIPS2 升级到 MIPS32r2，能够访问更广泛的指令集，并解锁编译器级优化和更小的程序规模。 • zkMIPS 现在运行在 Plonky3 后端——一个使用 FRI 协议的现代 STARK 系统——并受益于转向 31 位 KoalaBear 素域，比之前的 64 位 Goldilocks 设置提供更快的算术性能。 • 默克尔树已被多集哈希替代以确保内存一致性，减少了见证大小并支持并行验证。模块化的基于芯片的电路架构最小化了约束区域，诸如 Keccak 和字段算术等热点路径操作已被预编译以降低证明成本。 该系统已集成到 ZKM 证明网络中，并作为 @ethereumfndn 的 @eth_proofs 计划的一部分，用于实时证明 @ethereum 主网区块。它还在生产环境中与 @GOATRollup 一起上线，这是一个基于 BitVM2 构建的比特币 L2。 反响 多家媒体迅速报道了这一消息，其中 @Utoday_en 发布了一篇独家专题文章，介绍了该项目与其他 zkVM 的不同之处： 文章对 ZKM 团队及其显著的工程质量表示总体赞赏，并强调选择 MIPS32r2 而非 RISC-V 提供了架构优势：更短的程序、更少的约束以及与 ZK 电路更好的对齐。 发布会还收到了来自 Ethproofs、@a16zcrypto 和 House of ZK 的 @0x1164 的评论： ZKM 宣布将公开讨论 zkMIPS 1.0 的发布，项目 CTO @sd_eigen 将讨论优化、基准测试结果、系统架构和未来开发计划。 活动将于 5 月 12 日 UTC 时间中午 12 点举行。 工程见解 在最近的一篇文章中，项目解释了为什么在开发其 zkMIPS 虚拟机时，团队选择了 MIPS32r2 架构而不是 RISC-V——尽管后者是大多数现代 zkVM 的默认选择。 文章指出，这一决定并不是为了与众不同，而是为了选择最有效的基础来实现可扩展的可验证计算。 主要原因之一是 MIPS32r2 的更高指令密度。通过像 MOVZ、MOVN 和 MADDU 这样的操作，复杂逻辑可以用更少的步骤表达，从而减少执行跟踪长度。相比之下，在 RISC-V 上实现相同逻辑通常需要更多指令，增加了证明负担。 另一个因素是 MIPS 生态系统的成熟和稳定性。经过几十年的使用和固定规范，MIPS 已经过充分测试——甚至用于像 Optimism 的欺诈证明虚拟机这样的关键系统。而 RISC-V 虽然发展迅速，但仍在不断演变且较为分散。 完整文章可在此处找到：