# nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Repository: https://github.com/nexus-xyz/nexus-zkvm
Canonical: https://ross.abutalabs.com/products/nexus-zkvm
Homepage: https://docs.nexus.xyz
Language: Rust
License: NOASSERTION
License Family: other
Topics: cryptography, nexus, rust, snark, zero-knowledge, zkvm
Last push: 2026-01-06T14:03:58+00:00

## Health v2 (maintenance only)
Score: 55/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 61, release rhythm 35, longevity 77
- inputs: {"age_days": 1091, "days_push": 239, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 2614, forks 546 (observed 2026-08-28T04:07:04.559593+00:00)

## What it is
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
- artifact type: library
- maturity: experimental
- function: cryptography, sdk, compiler
- domain: blockchain, developer-tools
- platform: rust
- tags: zkvm, zero-knowledge-proofs, snark, stwo-prover, verifiable-computation, cryptography, linux, macos

## Member repositories
- nexus-xyz/nexus-zkvm (main) score 55

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:07:04.559593+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T02:20:34.481418+00:00, confidence not recorded.
  - readme: https://github.com/nexus-xyz/nexus-zkvm (fetched 2026-08-28T04:07:04.559593+00:00, sha 94b30d2c473b)
  - homepage: https://docs.nexus.xyz (fetched 2026-08-29T10:03:27.320743+00:00, sha bf2596dddd6b)
- Data as of 2026-08-30T08:39:29.467469+00:00.