Proof Verification - Verifier
🔐 Verify a Zero-Knowledge Proof using snarkjs
This command is used after you have already generated a proof for your circuit. It verifies whether the proof is valid based on the logic and constraints defined in your .circom circuit.
What it does:
Takes the following 3 files as input:
verification_key.json: A public key generated during the trusted setup. It contains information about your compiled circuit's constraints.public.json: The public inputs that were used when the proof was generated.proof.json: The actual zk-proof generated by the prover.
If the proof satisfies all constraints, verification will succeed, confirming that the prover knows valid private inputs without revealing them.
Sample Output
Last updated