PHASE 3 HOOK / DEVELOPER CLI

proofra—the developer CLI.

One binary. Three commands. The same proofs your dApp would generate — prove, fold and verify a circuit from the terminal before you ship a single line of program code.

Install API reference →
PACKAGEproofra-cli BINARYproofra NODE>= 20.0.0 LATESTv0.1.0 LICENSEApache-2.0
proofra — zsh LIVE
INSTALL / ONE LINE

Pick a source.
Ship in a minute.

$ npm install -g proofra-cli
$ proofra --version
proofra 0.1.0
THREE COMMANDS / ONE FLOW

Prove. Fold. Verify.

01proofra proveOFF-CHAIN

Run a circuit's guest program over an input and emit one SP1 proof per sub-computation. Local or hosted.

$ proofra prove median --input data.json → 100 sub-proofs · 8.2s
02proofra foldNOVA IVC

Compress the sub-proofs recursively with the Nova adapter into a single folded SNARK — a few kilobytes.

$ proofra fold ./proofs → folded.bin · 2.3 KB
03proofra verifySOLANA

Settle the folded proof on Solana mainnet through the Anchor verifier. Prints the ProofRecord and signature.

$ proofra verify folded.bin → 0.0001 SOL · <200K CU
GLOBAL FLAGS

Sensible by
default.

Every command shares the same flags. Point at a cluster, a host pool, or a config — or run the defaults and let the CLI pick.

Read the quickstart →
--clustermainnet · devnet · localnet
--hostSP1 host pool URL
--circuitcircuit id to prove
--jsonmachine-readable output
--watchstream job status live
PROVE · FOLD · VERIFY

Your first proof
is one line away.

$ npm install -g proofra-cli
Install the CLI Open visualizer →