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.

py poseidon.py --verify

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

[*] Proof verification started...make sure to modify proof.json
[INFO]  snarkJS: OK!
[+] Proof verification successfull

Last updated