INTRODUCING PROVEKIT

Client-side zero-knowledge, built for the real world

Turn a Noir circuit into a proof your users generate on their own device. Verify it anywhere you need to, from a server to a browser tab to a smart contract.

VISIT REPO { } EXPLORE DOCS

INSTALL SCRIPT

Get proving in one command

Install the CLI from Cargo and you have everything you need to compile a Noir circuit, generate a proof, and verify it in minutes, right from your terminal.

READ GUIDE

BASH

$ cargo install provekit-cli

CORE FEATURES

Modularity

Proving, verification, and compilation are separate, swappable pieces. Use the parts you need, drop the ones you don't, and keep the same proof artifacts working everywhere.

Mobile friendly

Proofs are generated right on the user's device, whether a phone, a browser tab, or a laptop. Private data never has to leave it, and no heavy backend is required.

Post-quantum secure

The base proof is built on hash functions, so its soundness holds even against a quantum attacker. Verifiable today, and still safe when quantum computers arrive.

BENCHMARKS

A client-side ZK toolkit that excels in every aspect

ALL BENCHMARKS

Proving time · Line

TOOLKIT 1

TOOLKIT 2

PROVEKIT

+36% Faster

11.2s @ 2²²

FREQUENTLY ASKED QUESTIONS

Comprehensive list of answers to all your questions

What exactly is ProveKit?

ProveKit is a zero-knowledge proof toolkit built around Noir. You write the rule you want to prove in Noir, ProveKit turns it into a proof your users can generate on their own device, and that proof is verifiable anywhere: your server, a browser, a phone, or on-chain. Think of Noir as the language and ProveKit as the runtime.

Do I need to be a cryptographer to use it?

Not even a little. Install the CLI, point it at a Noir circuit, and ProveKit handles the proof system, the keys, and the verification pipeline. There are first-class SDKs for JavaScript, Swift, and Kotlin, so you don't need to touch Rust to ship it.

Can I really prove things inside a browser tab?

Yes. And inside an iOS or Android app, too. The same proof artifacts work everywhere: WASM bindings for the web, native SDKs for mobile, and a CLI or Rust crate for the server. Each runtime takes care of threading and memory so the device finishes the proof.

Is ProveKit ready for production?

The v1 branch is the audited, stable line, ships under the MIT license, and supports Noir v1.0.0-beta.11. Generate your keys once in CI, ship the verifier key with your app, and the same proofs verify identically on every host you target.

Need more information or help?

BUILT FOR PERFORMANCE AND PRIVACY