​
Architecture and Science

The ethos of the Nexus project is a commitment to open and transparent science, engineering, and evaluation.

For an in-depth look at the science behind the Nexus zkVM and the Nexus network, see the Nexus Whitepaper.

​
Core Components

The Nexus zkVM is designed to be modular and extensible, with highly optimized components:

  • The Nexus Prover: A prover enabling highly efficient Incrementally Verifiable Computation (IVC) through the first production-grade implementations of folding schemes, like the CycleFold-variants of Nova, SuperNova, and HyperNova.
  • The Nexus Virtual Machine (NVM): A minimal, general-purpose virtual machine building off of RISC-V, designed to optimize prover performance.
  • The Nexus Proof Compression Mechanism: A proof compression sequence of recursive SNARKs that compresses proofs with each recursive application of a SNARK. Nexus (Nova) proofs are inherently large, but can be compressed through recursion down to a few bytes.

Each component of the Nexus zkVM has been carefully chosen or designed from the ground up and then implemented by the Nexus team to maximize security, performance, modularity, and extensibility.

As a consequence of that approach, the Nexus zkVM is architected to support new theoretical developments led by our research team, as well as tooling to accelerate deploying the zkVM for a variety of use cases:

  • Proving Schemes: In addition to the Nova family of folding schemes, the Nexus Prover can be extended with new proving scheme constructions as the state-of-the-art continues to advance.
  • Precompiles: Precompiles are custom extensions planned for the NVM instruction set, supporting common operations like cryptographic hashing (SHA-256 or keccak256) and matrix multiplication, that developers can use to accelerate specific computations. Nexus precompiles are exactly like Ethereum precompiles, but in the context of zkVMs. Developers will be able to extend the zkVM with their own custom precompiles, as well as import other developer’s precompiles. This is possible due to non-uniform IVC like SuperNova.
  • Language Support: As the NVM builds off the RISC-V ISA, the zkVM can run programs written in any high-level language (e.g. Rust, C++, etc.), including emulation with minimal overhead of many common Instruction Set Architectures (ISA) such as the EVM, Wasm, and RISC-V itself.
  • Targeted Compilation: The zkVM can be targeted by safe and correct compiler tooling that compiles various high-level languages and any other ISAs to the NVM, with dedicated support for precompiles and optimizations designed to maximize prover performance while maintaining correctness.

The zkVM aims to offer developers out-of-the-box prover performance and security, designed to power production-grade applications. See the Roadmap for more on the future of the zkVM.

​
Proving Architectures

The Nexus zkVM turns programs into proofs, but the computational work of executing and proving the zkVM must be implemented by a proving architecture.

The Nexus zkVM design is compatible with a variety of proving architectures, from sequential execution on your laptop all the way up to the Nexus network, a globally-distributed proving network under active development.

See the Nexus network overview for more.

Was this page helpful?

OverviewRoadmap