RISC Zero 发布 zkVM 1.2，推出应用程序Defined 预编译功能

零知识（ZK）可验证通用计算平台， RISC 零 引入了“应用-defined” 为其零知识虚拟机 (zkVM) 1.2 进行预编译。这项创新使开发人员能够通过在应用程序本身而不是 zkVM 中包含预编译来构建高性能 ZK 应用程序。

zkVM 1.2 在预编译功能方面取得了显著的进步。与需要开发人员、证明者和验证者之间协调的传统预编译不同，它的应用defined 预编译提供了多种好处。其中包括允许开发人员部署新的预编译，而无需更新链上验证器合约或与证明者协调使用新电路。此外，开发人员可以优化他们的应用程序，而无需分叉 zkVM 或修改现有系统。

该平台旨在在 Boundless 协议上运行，增强 ZK 性能 跨所有链。这种独立性使开发人员能够立即优化其应用程序，而证明提供者无需特殊配置即可支持任何应用程序，为去中心化证明的未来奠定了坚实的基础。

对于 Boundless 来说，这种方法为用户提供了更大的控制权，因为它消除了应用程序和验证者就一组匹配的预编译达成一致的需要。它还可以确保对生产项目的干扰最小，因为可以添加新的预编译，而无需新的验证者合同。

这些预编译的性能优势显而易见。例如，合作伙伴 Automata 集成了 RISC Zero 的 RSA 预编译，并将其客户程序的循环次数从 39 万次减少到 217,000 次，从而将成本降低了约 180 倍。

什么是 RISC Zero And Boundless？  

RISC Zero 专注于开发基础设施和工具，使全球开发人员能够利用 ZK 技术创建软件。其 zkVM 允许用户证明任意 Rust 代码的正确执行。通过启用现有 Rust 软件包，RISC Zero 的 zkVM 简化了包含 ZK 证明的可靠、可验证软件应用程序的创建。

最近，RISC Zero 打开 其 ZK 协议 Boundless 可供开发人员访问。这可以实现无限制执行，而无需迁移现有系统或更新验证合约。开发人员现在可以在任何区块链上快速构建和部署 ZK 应用程序，同时可以免费访问 Boundless 提供的证明服务。