# The Nexus Whitepaper

**Nexus 1.0: Enabling Verifiable Computation**

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

{% file src="<https://3435725530-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FLJ85JA3XlaU4USdPDSkb%2Fuploads%2Fdy0QcaMHtm2O4M3hx1RZ%2FNexus_1.0_Enabling_Verifiable_Computation.pdf?alt=media&token=aaed6eff-5c8e-4b6d-a919-7a0416e2ecad>" %}