基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

  • RISC0 Fans
  • 更新于 2024-06-20 22:01
  • 阅读 922

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算,允许协议无缝扩展计算,并使开发者能够创建更复杂和高效的 dApp。

zkVM 1.0 上线

今天,RISC Zero 推出了 zkVM 1.0,这是世界上首个性能最优、生产就绪的通用 zkVM。

zkVM 1.0 的推出正值区块链行业面临阻碍广泛采用和可扩展性的诸多挑战之际。这些挑战包括:

  • 可扩展性限制:随着区块链网络的增长,对高效和可扩展解决方案的需求变得越来越关键。传统的链上执行是冗余的,往往导致网络拥堵和高交易成本。
  • 开发者摩擦:构建 dApp 可能是复杂且耗时的,要求开发者学习新的编程语言并适应区块链特定的设计模式。
  • 有限的表达能力:链上计算所施加的限制,如 gas 限制和循环计数限制,可能会限制 dApp 的功能和复杂性。

ZK Rollup 提供了一种潜在的解决方案,但也引入了新的挑战:

  • 高电路维护和研发成本。
  • 与其他区块链网络的互操作性有限。
  • 新的复杂 ZK 专注 DSL 为开发者设置了新的进入障碍,且通常缺乏基本功能。

‍ 通过克服传统链上计算和复杂零知识解决方案的限制,zkVM 1.0 使开发者能够轻松构建可扩展、互操作和创新的应用程序。

为什么这很重要

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算,允许协议无缝扩展计算,并使开发者能够创建更复杂和高效的 dApp。

主要优势

zkVM 1.0 解锁了几个主要的开发者优势:

1. 成本效益与性能:zkVM 1.0 提供了具有成本效益的证明,其性能显著高于竞争对手,使其成为开发者的实用解决方案。有关我们基准测试的更多信息,请参见 这里

2. 稳定的 API:我们的 API 已经达到了成熟的水平,允许你构建和部署应用程序,而无需担心在新版本 zkVM 1.0 发布时系统会崩溃。

3. 增强的表达能力:开发者可以加载任何 Rust crate 并构建具有复杂逻辑的应用程序,无需担心大小限制或 gas 限制。这为新类型的 dApp 开辟了前所未有的机会。

4. 无限计算:不再受循环计数限制或过高的 gas 费用/限制的约束。开发者可以在我们的 zkVM 中无限制地进行链下计算,自动生成证明,并在链上高效且具有成本效益地验证。

5. 互操作性:实现与任何支持 RISC Zero 验证器的区块链的无缝 dApp 互操作性。开发者可以在 zkVM 中运行他们的程序,并选择他们的部署链,而无需用新语言重写或适应新的设计模式。一次运行,到处验证。

除了主要的开发者优势外,zkVM 1.0 还包括一些高级的零知识功能,进一步增强了性能和可用性,例如:

1. 证明组合

证明组合利用递归证明来组合证明,增强了可扩展性和效率。这种技术允许显著降低成本,并为需要复杂、多步骤验证过程的新应用程序打开了大门。证明组合还打开了以下大门:

  1. 隐私保护:通过将程序拆分为可以私下证明的部分来维护数据所有权。
  2. 证明聚合:将多个证明聚合为一个,以实现高效的批量验证。
  3. 模块化访客程序:为拆分为多个操作或模块的工作流创建单个收据,增强证明者的效率和可维护性。

2. 链上验证

在链上发布和验证证明,使得在链上应用中加入复杂逻辑成为可能,而无需高昂的 gas 费用。例如,在以太坊上验证一个证明的成本可以低于 300K gas,无论是一个数字签名还是一百万个。

3. 续延

续延使得将大型程序拆分为较小的段成为可能,允许并行证明、暂停和恢复,以及固定的内存需求,无论程序大小。这一功能意味着开发者可以根据需要运行程序,克服传统的周期计数限制。续延的一些关键元素包括:

  1. 并行化:在多个系统之间分配段以减少延迟。
  2. 暂停-恢复:暂停计算并稍后恢复,减少延迟并提高效率。
  3. 固定内存需求:确保内存使用保持不变,无论程序长度如何。

开始使用

zkVM 1.0 现已达到生产就绪状态,标志着区块链开发的一个关键时刻。我们致力于不断提高与其他链的兼容性,确保 zkVM 1.0 始终是开发者可靠且强大的平台。加入我们这个可验证计算的新Epoch,在这里你可以证明任何事并在任何地方验证。

立即开始使用 zkVM 1.0:

本文由 AI 翻译,欢迎小伙伴们来校对

点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
RISC0 Fans
RISC0 Fans
江湖只有他的大名,没有他的介绍。