nexus-xyz/nexus-zkvm

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

2614 stars · 546 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

The Nexus zkVM is a modular, prover-optimized zero-knowledge virtual machine written in Rust, built on StarkWare's Stwo prover. It lets developers execute programs and generate succinct cryptographic proofs of correct execution, and is explicitly in an experimental alpha stage not recommended for production.

Use cases

• generate zero-knowledge proofs of program execution
• run Rust programs inside a zkVM
• build verifiable offchain computation for blockchain applications
• prove arbitrary computation with STARK-based proving
• experiment with zkVM tooling and precompiles

When to choose

• you need a fully specified, open-source zkVM with no vendor lock-in
• you want to prove Rust program execution with a modern STARK prover
• you're experimenting with zero-knowledge virtual machines and don't need production guarantees

When to avoid

• you need a production-ready, audited zkVM today
• your project requires long-term stability guarantees
• you need a zkVM with broad multi-language support beyond Rust

Facets

library · maturity experimental

cryptography sdk compiler blockchain developer-tools rust zkvm zero-knowledge-proofs snark stwo-prover verifiable-computation cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="nexus-xyz/nexus-zkvm")