Project · Ship a working multiplier + Solidity verifier

Build the multiplier.circom circuit, run the full Groth16 pipeline (setup → prove → verify), export the Solidity verifier, and (optionally) deploy to a testnet. Submit: the .circom file, a generated proof.json + public.json, the verification key, and the Verifier.sol output. Optional: a Sepolia transaction hash showing a successful on-chain verification.

• A .circom file that compiles cleanly under circom 2.x.
• A snarkjs-generated .wasm, .zkey, verification key, and one sample proof.
• A short README listing constraint count, prover time, and the statement your circuit proves.

• Circuit is correctly constrained — no unconstrained signals that would allow malicious witnesses.
• At least one negative-path test proves an invalid witness fails witness generation OR fails the snarkjs verification.
• Constraint count is within the expected ballpark for the statement; if significantly larger, a note explains why.