zkJanuszkJANUS

// PROOF // GENERATOR

ZERO-KNOWLEDGE PROVER

Pick a claim to prove. The prover compiles a circuit, hashes your private inputs, builds a groth16 proof, and verifies it — emitting a portable proof file that reveals nothing underneath.

// INPUT :: SELECT CLAIM
OUTPUT // prover@zk○ IDLE

> awaiting claim… select inputs & GENERATE