Skip to content
ProveKit ProveKit ProveKit Docs

ProveKit Documentation

A client-side zero-knowledge proof toolkit for shipping Noir circuits to production, across native, browser, mobile, server, and on-chain verification.
Run the quickstart What is ProveKit? View on GitHub

ProveKit turns a Noir circuit into a verifiable WHIR proof. These v1.0.2 guides show the tested CLI and Rust flows, plus the compatibility status of other integration paths.

See it in three commands

Section titled “See it in three commands”

From a checkout of the v1.0.2 release:

Terminal window
cd noir-examples/basic
cargo run --release --bin provekit-cli -- prepare   # compile circuit → .pkp + .pkv
cargo run --release --bin provekit-cli -- prove     # .pkp + Prover.toml → proof.np
cargo run --release --bin provekit-cli -- verify    # .pkv + proof.np → exit 0

That’s the CLI proving pipeline. The Rust integration was also verified with v1.0.2 artifacts; check each platform guide before using those artifacts in another runtime. Walk through it step by step →

Get started

Section titled “Get started”

Quickstart

Prepare keys, generate proof.np, and verify it locally using the noir-examples/basic circuit.

Run the quickstart →

What is ProveKit?

A developer-friendly introduction to zero-knowledge proofs and the problems this toolkit solves.

Read the overview →

Pick an integration

Choose where ProveKit runs in your system, CLI, Rust, WASM, mobile, or recursive.

Integrations overview →

Deployment checklist

The provenance, evidence, and operational controls required before accepting proofs in production.

Review the checklist →

Host integrations

Section titled “Host integrations”

For the full integration menu, including CLI, HTTP verifier, and recursive paths, see Integrations overview.

Rust service or library Load .pkp / .pkv, prove from TOML, persist proof.np, and verify directly through the ProveKit crates.
Browser or Node.js compatibility Check v1.0.2 WASM and JavaScript SDK compatibility before integrating.
iOS compatibility Check native FFI and Swift SDK compatibility with v1.0.2 artifacts.
Android compatibility Check native FFI and Kotlin SDK compatibility with v1.0.2 artifacts.

Core artifacts at a glance

Section titled “Core artifacts at a glance”
.pkpProver key, produced by prepare, consumed by prove and recursive export.
.pkvVerifier key, produced by prepare, consumed by verify.
proof.npWHIR proof, produced by prove, consumed by every verification path.
r1cs.jsonRecursive-verifier R1CS, exported from a matching .pkp and proof.

Every artifact is bound to a specific circuit and release. Treat them as versioned deployment objects. See Artifact lifecycle for the full pairing rules.