a16zOfficial·8 Agent Skills Included

jolt

Prove Rust programs ran correctly with zero-knowledge proofs

Wraps Rust functions in zero-knowledge proofs so anyone can verify a program ran correctly without re-running it. Handles the full workflow: scaffolding projects, adapting function signatures, generating proofs, and verifying results. Eliminates manual cryptographic setup and includes skills for code review, spec writing, and performance benchmarking.

1,021|330

↗

npx skills add a16z/jolt --all -g -y

Available:

Gives the AI agent the project's build, test, and profiling commands plus a map of the prover architecture so it can work on the Jolt zkVM codebase correctly.

All Skills in This Repository (8)

Pure Emerald Level Indicators

📦 In Repo

a16z

jolt

Wraps deterministic Rust functions in Jolt zero-knowledge proofs for RISC-V.

update-docs

Analyze Rust code changes against a base commit to identify Jolt documentation updates.

new-invariant

Implements and registers new invariants for the jolt-eval testing framework.

new-objective

Implements new optimization objectives for the jolt-eval framework in Rust.

ci-code-review

Reviews pull requests with parallel agents for bugs, security, and tech debt.

analyze-spec

Analyzes specification files with weighted ambiguity scoring and generates targeted clarifying questions.

implement-spec

Implements approved specs autonomously with planning, parallel execution, QA cycles, and validation.

new-spec

Creates feature specifications through Socratic interviews that fill each template section to zero ambiguity.

Official

Intermediate

Frequently Asked Questions

FAQPage Schema

How to install Jolt?▼

Run `npx skills add a16z/jolt --all -g -y` in your terminal to install all skills in this suite globally.

What does Jolt do?▼

Jolt is a zero-knowledge virtual machine for RISC-V that proves a Rust program executed correctly. Others can verify the proof without re-running the code or seeing private inputs.

How do I make a Rust function provable?▼

The Jolt skill guides your AI agent to wrap any pure Rust function with the #[jolt::provable] macro, scaffold the project, and generate and verify the proof automatically.

Does Jolt work with Claude Code and Cursor?▼

Yes. The skills follow the universal SKILL.md standard and run in Claude Code, Codex, Cursor, and other compatible AI coding agents.

Can Jolt hide private inputs in proofs?▼

Yes. Enabling the zk feature activates the BlindFold protocol, which hides witness data so proofs reveal nothing about private inputs.