The Verifiable Machine
Nexus zkVM 3.0 combines breakthrough scientific advancements with developer-friendly architecture to bring verifiable computation from theory to practical reality.
The Nexus
zkVM 3.0
A general-purpose verifiable virtual machine, zkVM 3.0 is built around a formally-specified set of Arithmetic Intermediate Representation (AIR) constraints for the RISC-V machine architecture, as well as a lookup-based memory checking argument.
- Powered by zero-knowledge proofs, i.e. verifiable and private computation
Powered by zero-knowledge proofs, i.e. verifiable and private computation
- Powered by zero-knowledge proofs, i.e. verifiable and private computation
Powered by zero-knowledge proofs, i.e. verifiable and private computation
- Powered by zero-knowledge proofs, i.e. verifiable and private computation
Powered by zero-knowledge proofs, i.e. verifiable and private computation
Built for Performance
Based around a revamped guest runtime, fast memory checking, and backended by the Stwo prover from StarkWare, zkVM 3.0 is more usable, more extensible, and ~1000x faster than previous releases.
As the engine of our supercomputer, it helped Testnet II achieve 112 quadrillion FLOPS of power and a peak speed 60.4 million verifiable Hz.
Formal Specification
The Nexus zkVM 3.0 is described by a formal specification of its functionality and constraints used to guarantee execution according to the specified functionality.
Developed according to the principles of open science, the goal is to advance zero-knowledge research at Nexus and contribute to the field of advanced cryptography more broadly.
zkVM
Components
TestThe Nexus zkVM starts with the user providing a normal Rust program. After compiling, it runs the program, generating a trace of its execution. The zkVM then produces a succinct, efficiently verifiable proof that the output of the program was correctly generated by its execution.
Stwo Prover
A transparent, highly efficient Circle STARK (a type of cryptographic proof system), Stwo provides excellent performance on top of a secure, strong, and formal mathematical foundation.
Extensible with Precompiles
The Nexus zkVM machine architecture supports extensibility through custom precompile instructions. Precompiles are domain-specific constraints that can speed up the proving of critical computations like those used in cryptography and machine learning. Developers can write their own custom precompiles, as well as draw from — and contribute back to — an open ecosystem.
Extensible with Precompiles
The Nexus zkVM machine architecture supports extensibility through custom precompile instructions. Precompiles are domain-specific constraints that can speed up the proving of critical computations like those used in cryptography and machine learning. Developers can write their own custom precompiles, as well as draw from — and contribute back to — an open ecosystem.
Stwo Prover
A transparent, highly efficient Circle STARK (a type of cryptographic proof system), Stwo provides excellent performance on top of a secure, strong, and formal mathematical foundation.
Stwo Prover
A transparent, highly efficient Circle STARK (a type of cryptographic proof system), Stwo provides excellent performance on top of a secure, strong, and formal mathematical foundation.
Stwo Prover
A transparent, highly efficient Circle STARK (a type of cryptographic proof system), Stwo provides excellent performance on top of a secure, strong, and formal mathematical foundation.