RISC Zero 在 zkVM 1.0 的性能提升方面取得了显著进展,自 Q1 以来已实现 10 倍的成本改进,并计划在 Q3 继续通过 GPU 优化、新电路设计和专用加速器电路实现性能提升,目标是到年底实现 20 倍的成本改进。重点领域包括加速器、GPU 证明和基准测试套件。
在过去的这个季度里,我们在提升 zkVM 1.0 的性能方面取得了显著进展。这些增强不仅展示了我们对创新的承诺,也为第三季度及以后的发展设定了明确的目标。这篇博客概述了我们最近的成就、即将到来的里程碑,以及将 RISC Zero 定位为市场上性能最高的 zkVM 的竞争基准。
10 倍的成本降低
截至 2024 年 5 月 16 日,自第一季度初以来,我们已经实现了 10 倍的成本降低。这一进展使我们更接近今年年底实现 20 倍成本降低的目标。
行业领先的性能
根据最近的基准测试,RISC Zero 的 zkVM 在各种工作负载的速度和成本效益方面都明显优于竞争对手。我们的竞争基准摘要可在此处找到:
加速器
我们正在努力推出对最常见的加速器电路的支持,这可以为特定的算法和密码学操作带来显著的改进。
GPU 证明
我们将所有证明流程迁移到 GPU 上运行的工作已完成 80%。预计这种转变将带来接近 4 倍的性能提升。
基准测试套件
建立 我们的基准测试套件 对于有效地衡量更新并确保性能跟踪的一致性是必要的。查看更多基准测试:
当我们继续推进 zkVM 1.0 时,我们在 2024 年第三季度的重点是实施关键的性能升级,这些升级针对我们系统的各个方面,从 GPU 优化到改进的电路设计,每项升级都旨在提供显著的性能提升。
| 升级 | 预计性能提升 | 描述 |
| rv32im GPU 优化 | 2x-4x | 针对我们的 RISC-V 电路的 GPU 改进 |
| 递归 GPU 优化 | 2x-4x | 针对我们的递归电路的 GPU 改进 |
| rv32im v2 电路 | 2x+++ | 一种新的、更高效和更灵活的 RISC-V 电路 |
在我们完成了为第一季度和第二季度计划的许多全局优化之后,我们近期的工作重点将主要放在启用可插拔的加速器或“预编译”上,这些加速器针对以太坊和其他用例的常见且昂贵的密码学操作。
| 加速器 | 描述 |
| RSA | 增强公钥-私钥加密,广泛用于各种隐私应用。 |
| Keccak | 以太坊的首选哈希函数,广泛用于 Eth 友好的 Merkle 证明和像 Zeth 这样的协议。 |
| ECDSA | 提供闪电般的 ECDSA 签名验证,这对于安全高效的数字签名至关重要。 |
| 配对(KZG、Groth16) | 帮助 rollup 和以太坊开发者利用来自 blobs 和 EIP-4844 的 gas 节省。 |
| BLS12-381 | 简化以太坊轻客户端共识证明,确保强大而高效的验证。 |
注意:特定的加速操作可能会提高 10 倍以上。但是,加速器是特定于工作负载的,因此很难估计具体的性能改进。
展望 2024 年的剩余时间,zkVM 1.0 的路线图既雄心勃勃又充满希望。到目前为止,我们已经实现的里程碑,包括显著的性能改进和关键加速器的开发,为未来的发展奠定了坚实的基础。凭借我们正在进行的向 GPU 证明的过渡、新电路版本的实现以及专用加速器电路的引入,我们有信心实现今年年底成本降低 20 倍的目标。我们对创新和卓越的承诺确保 RISC Zero 始终处于通用 zkVM 的前沿。通过不断突破可能的界限,我们不仅增强了 zkVM 1.0 的功能,还为行业的性能和效率设定了新的标准。
加入我们的 Discord,获取每周的开发更新!
- 原文链接: risczero.com/blog/zkvm-p...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!