PHASE 2 / DEVELOPER CLI

kythera —
the CLI.

One binary. Three commands. The same proofs your dApp would generate — runnable from any terminal, before you write a line of on-chain code.

Packagekythera-cli
Binarykythera
Node≥ 20.0.0
LicenseApache-2.0
INSTALL

One line. Either source.

NPMGLOBAL
$ npm install -g kythera-cli$ kythera --versionkythera 0.1.0
HOMEBREWMACOS · LINUX
$ brew install kythera-labs/kythera/kythera$ kythera --versionkythera 0.1.0
THREE COMMANDS

Prove. Fold. Certify.

kythera prove <circuit>

Run a circuit over an input file in the local SP1 zkVM and emit a sub-proof. Same prover the network uses.

kythera fold <dir>

Recursively fold a directory of sub-proofs into a single Groth16 SNARK. Constant final size.

kythera verify <proof>

Submit the folded proof to the mainnet verifier and print the resulting ProofRecord PDA and cost.

END TO END

From input to
certificate, locally.

~/median-feedBASH
$ kythera prove median --input prices.json -o proofs/ ✓ sub-proof 256 leaves 1.84s proofs/median-0.sp1 $ kythera fold proofs/ -o folded.snark ✓ folded 100 → 1 0.92s 2.3 KB $ kythera verify folded.snark --cluster mainnet ✓ certified 182,431 CU 0.0001 SOL record 7Ksu9Qpa…M4zX (slot 271,004,887) hash b58:7Ksu9Q…aM4z
Run it in your browser → Read the docs