veria fold
Generate sub-proofs locally or via the Compute API, then fold.
assembling
assembling
One binary. Three commands. Same proofs your dApp would generate.
1$ npm install -g veria-cli2$ veria --version3veria 0.1.01$ brew install veria-la/veria/veria2$ veria --version3veria 0.1.0Generate sub-proofs locally or via the Compute API, then fold.
Send the folded proof to the Anchor verifier on mainnet.
Register a new circuit elf with the host pool.
1$ veria fold input.json --circuit median --sub-proofs 1002> Connecting to api.veria.fun ...3> Submitting 100 sub-proofs ...4> Folding via Nova IVC ...5> Proof bytes: 0x4a2f...8c91 (2.3KB)6> Cost: 0.0001 SOL (vs 0.5 SOL direct)1$ veria verify proof.bin --program $VERIA_PROGRAM2> Sending tx to Solana mainnet ...3> Compute units used: 187,420 / 1,400,0004> Explorer: https://explorer.solana.com/tx/...5> ProofRecord PDA: 9X2k...PqAPublished on npm. Source on GitHub.