Coinspeaker RISC Zero 推出 ZkVM 1.0 用于开发 DApps

基于 zk-STARKs 的零知识可验证通用计算平台 RISC Zero 正式宣布推出 zkVM 1.0。据 The Block 报道，新产品是一款新型通用 zkVM，开发团队引以为豪的是，它已准备好投入生产。它与现有解决方案截然不同，因为它利用 zk 证明来开发跨不同区块链的基于去中心化金融 (DeFi) 的应用程序。

RISC Zero 的 zkVM 1.0 的功能

zkVM 1.0 具有成本效益的证明过程被誉为其主要功能之一。该平台背后的团队也强调其更好的性能指标是一项额外优势。值得注意的是，zkVM 1.0 具有为不同程式产生证明的能力，因为它是在 Rust 上开发的。

此功能为复杂逻辑的开发提供了空间，消除了通常与尺寸或天然气成本相关的限制。 RISC Zero 这个新平台的目标是减轻链上 DApp 中很大一部分计算工作的负担。透过 zk 证明，可以快速实现和验证计算压缩。所有这些都是在验证者自己不进行计算的情况下执行的。

总体而言，该机制对于提高区块链应用程式的可扩展性起著至关重要的作用。它有助于在链下执行复杂的操作，同时也保持链上验证。这涉及第 2 层区块链、跨链桥以及高效且可验证计算非常重要的领域中的潜在用例。

通常，zkEVM 是专门为以太坊虚拟机器 (EVM) 环境量身定制的，但另一方面，zkVM 是利用 ZK 证明用于 DApp 的虚拟机器。除了新推出的 zkVM 1.0 之外，其他现有的 zkVM 还包括 Nexus zkVM、来自流行的 Andreessen Horowitz (a16z) 加密货币的 Jolt 以及最近参与 Polygon 和 AggLayer 合作的 Succinct Labs 的 SPI。

在不久的将来，zkVM 1.0 将支援跨任何整合 RISC ZERO 验证器的区块链的 DApp 的互通性。因此，应用程式可以在以太坊、Base、OP、World Chain、Arbitrum 和 Starknet 等各种链上运行。

为了迎接zkVM 1.0的发布，RISC Zero进行了可信设定仪式。据该项目称，这些代码还通过了严格的第三方审核。

SQL的时空启动证明

在类似的讯息中，总部位于加州的加密新创公司 Space and Time (SXT) 最近发布了名为 Proof of SQL 的亚秒级 ZK 证明器堆叠。

它的目的是授予使用者存取 GitHub 上这个高效能零知识证明者的权限。 SQL 证明被设计为一种新颖的 ZK 证明，它以加密方式保证针对未篡改资料的 SQL 资料库查询的准确计算。

ZK 模型的一个关键复杂之处在于，它们允许开发人员或使用者在不泄露机密资讯的情况下确认资料或交易的有效性或真实性。此功能使其成为其他解决方案的首选。

下一个

用于开发 DApp 的 RISC 零启动 ZkVM 1.0