Nexus 零知识虚拟机 （Nexus zkVM） 是一个通用计算平台，允许以可验证的方式执行程序

Nexus zkVM 概述

Nexus 零知识虚拟机 （Nexus zkVM） 是一个通用计算平台，允许以可验证的方式执行程序。Nexus zkVM 架构有两个主要组件：Nexus 虚拟机和 Nexus Proof System。

受 RISC-V ISA [WLPA14] 和 vnTinyRAM 架构 [CGTV20] 的启发，Nexus VM 可以很容易地从 RISC-V 指令集转换而来，而 RISC-V 指令集已经存在丰富的编译工具集。因此，Nexus zkVM 可以轻松支持以 Rust 和 C++ 等高级编程语言编写的程序的可验证执行。可以通过转换、仿真或本机执行来提供对其他机器架构（如 EVM 和 Wasm）的支持。

Nexus 虚拟机的第一次迭代支持以 Rank-1 Constraint Satisfiability （R1CS） 编码的电路。Nexus zkVM 的未来版本将支持用替代约束系统编写的用户定义电路。