The Nexus 1.0 whitepaper introduces the Nexus zkVM — a zero-knowledge virtual machine capable of proving any computation. It covers the full system design: the Nexus Virtual Machine (NVM), co-processors, recursive proof systems, and the Nexus Network's distributed prover architecture.
Key topics:
Nexus zkVM — a universal proving machine for any stateful ISA (RISC-V, EVM, Wasm), architected for massively parallelised incremental proof generation
Nexus Virtual Machine (NVM) — a minimal, extensible virtual CPU designed to maximise prover performance
Proof systems — HyperNova, Parallel Nova, Parallel HyperNova; folding/accumulation schemes enabling IVC and PCD
Nexus Network — a large-scale distributed prover network aggregating heterogeneous compute to prove 1B+ CPU cycles
