https://github.com/nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine
https://github.com/nexus-xyz/nexus-zkvm

cryptography nexus rust snark zero-knowledge zkvm

Last synced: 2 days ago
JSON representation

The Nexus zkVM: The zero-knowledge virtual machine

• Host: GitHub
• URL: https://github.com/nexus-xyz/nexus-zkvm
• Owner: nexus-xyz
• License: other
• Created: 2023-09-07T22:58:44.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-04-17T18:45:44.000Z (4 days ago)
• Last Synced: 2025-04-18T08:50:48.328Z (4 days ago)
• Topics: cryptography, nexus, rust, snark, zero-knowledge, zkvm
• Language: Rust
• Homepage: https://docs.nexus.xyz
• Size: 71.7 MB
• Stars: 2,413
• Watchers: 23
• Forks: 431
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

• awesome-zkvm - nexus - Halo2 (KZG)} | Rust | (Technical details)
• awesome-zkvm - nexus - V | :green_circle: | :green_circle: | | Rust | (projects)
• awesome-ccamel - nexus-xyz/nexus-zkvm - The Nexus zkVM: The zero-knowledge virtual machine (Rust)

README

        
# The Nexus zkVM



    

        

    

        

    

        





  


   

  


The Nexus zero-knowledge virtual machine is a modular, extensible, prover-optimized, fully-specified zkVM written in Rust, focused on performance and security. Built with [Stwo](https://github.com/starkware-libs/stwo) by [StarkWare](https://starkware.co/blog/starkware-new-proving-record/). Review the specification [here](./specification/zkvm-spec-3.0.pdf).

To get started with the Nexus zkVM, check out the [Getting Started](https://docs.nexus.xyz/zkvm/proving/index) page.

*The Nexus zkVM is in an experimental stage and is not currently recommended for production use.*

### The Nexus Ethos: Assurance through Open Science

We believe a zkVM must provide an efficient proving mechanism without compromising on security and correctness. A zkVM cannot provide provide transparency without being transparent itself. Every component of a zkVM should be powered by fully and publicly specified cryptographic components, with careful analysis of security and performance.

The Nexus zkVM features no code obfuscation, no proprietary components, and no closed-source code.

### Modular and Extensible

The Nexus zkVM is designed to be modular and extensible, with highly optimized isolated components. Configured out of the box with thoroughly-analyzed, sensible defaults (such as the choice of prover and the memory model) that will work for most users, developers can feel confident in the security and performance of the zkVM whatever their application.

That said, the Nexus zkVM is also designed to be extensible. Source-available code and consistent development by the Nexus team enables support for new languages, new precompiles, and new provers as the state-of-the-art advances, all with no vendor lock-in.

### Learn More

See our zkVM documentation, including guides and walkthroughs, at [docs.nexus.xyz](https://docs.nexus.xyz/zkvm/index).