Compass Investments

– zkVM 1.0 的主要特点之一是测试过程更高效。平台团队还将更高的性能指标作为一项优势。值得注意的是，zkVM 1.0 是用 Rust 语言开发的，可以为各种程序生成证明。

这一功能允许开发复杂的逻辑，并消除了通常与气体大小和成本相关的限制。RISC Zero 新平台的目标是卸载 DApps 链中的大部分计算工作。通过 zk-proofing，可以压缩计算，实现快速验证。同时，验证器不会独立执行计算。

总之，这种机制在提高区块链应用的可扩展性方面发挥着重要作用。它允许在链外执行复杂操作，同时将验证保留在区块链中。因此，它可用于高效和可验证计算非常重要的领域，如第 2 层区块链和链间桥接。

通常，zkEVM 是为以太坊虚拟机（EVM）设计的，而 zkVM 则是使用 ZK 概念验证的虚拟机，用于 DApp。除了最近推出的 zkVM 1.0，现有的 zkVM 还包括 Nexus zkVM、来自流行加密货币 Andreessen Horowitz (a16z) 的 Jolt 以及来自 Succinct Labs 的 SPI，后者最近成为 Polygon 和 AggLayer 合作的一部分。检查。

在不久的将来，zkVM 1.0 将支持 DApp 与任何集成了 RISC ZERO 校验器的区块链的互操作性。因此，应用程序将能够在以太坊、Base、OP、World Chain、Arbitrum 和 Starknet 等各种链上运行。

为庆祝 zkVM 1.0 的发布，RISC ZERO 组织了一次可信配置仪式。该项目表示，代码还经过了严格的第三方审计。

相关新闻：总部位于加利福尼亚州的加密货币初创公司 Space and Time (SXT) 最近发布了一个名为 Proof of SQL 的亚秒级 ZK 赌注证明堆栈。

GitHub上的用户可以访问这个高性能的零知识证明工具。Proof of SQL 被设计成一种新的 ZK Prover，它能以加密方式保证对包含未经授权数据的数据库进行 SQL 查询计算的正确性。