a16z/jolt

Health v2 · maintenance only

Flags: prerelease_only

Adoption not part of the score

1021 stars · 330 forks observed · 2026-09-03

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

Jolt is a zero-knowledge virtual machine (zkVM) for RISC-V (RV64IMAC) that generates cryptographic proofs of arbitrary program execution, built around sumcheck and lookup arguments for speed and simplicity. It ships as a Rust library plus a CLI for scaffolding projects where 'guest' Rust functions annotated with a macro are compiled to RISC-V and proven by 'host' code.

Use cases

• generate zero-knowledge proofs of Rust program execution
• prove correctness of offchain computation for blockchain verification
• build verifiable computation applications with a RISC-V zkVM
• benchmark and research state-of-the-art SNARK proving systems
• wrap Rust functions in zk proofs via an AI coding agent skill
• compile and prove RISC-V guest programs from a host

When to choose

• you need fast CPU-based zk proving of general-purpose Rust/RISC-V programs
• you want a simple, extensible, fully open-source zkVM to build on or contribute to
• you're doing zero-knowledge proof research involving lookup arguments and sumcheck protocols

When to avoid

• you need a production-hardened zkVM - Jolt is explicitly in alpha and not production-ready
• you need GPU-accelerated proving or a stable long-term API
• you only need simple signature or hash verification rather than full program proving

Facets

library · maturity experimental

cryptography sdk cli compiler blockchain developer-tools security rust cli zkvm zero-knowledge-proofs zk-snarks risc-v sumcheck lookup-arguments prover verifier rust-guest-programs blockchain-proofs cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="a16z/jolt")