模块化 ZKVM 框架OpenVM是什么？

OpenVM 是一个用于定制和扩展性的性能和模块化 ZKVM 框架。OpenVM 通过新颖的模块化设计实现这一点，允许开发人员在一个统一的框架内扩展 ISA、ZK 电路和证明系统。

• 模块化无 CPU 架构：与传统的机器架构不同，OpenVM 架构没有中央处理器 (CPU)。这种设计选择允许无缝集成定制芯片，而无需分叉或修改核心架构。
• 可扩展指令集：指令集架构 (ISA) 旨在通过新的自定义指令进行扩展，这些指令可直接与虚拟机集成。目前 OpenVM 可用的扩展包括：
  • 通过 RV32IM 支持 RISC-V
  • 用于证明递归和聚合的本地字段算术扩展
  • Keccak-256 和 SHA2-256 哈希函数
  • Int256 运算
  • 任意域上的模运算
  • 椭圆曲线运算，包括多标量乘法和 ECDSA 签名验证，包括针对 secp256k1 和 secp256r1 曲线。
  • BN254 和 BLS12-381 曲线上的配对运算。
  • Rust 前端：ISA 扩展可通过内部函数通过 Rust 前端直接访问，从而提供流畅的开发人员体验。
  • 链上验证：使用该框架制作的每个虚拟机都提供对以太坊上无限制程序证明和验证的开箱即用支持。