Proof Verification Guide
Before you begin, make sure you have generated the proof in the previous page.
Convert plonky2 proof to groth16 proof
Copy the three files generated in the previous step to the gnark-plonky2-verifier/testdata/mips
directory. Convert the aggregated proof to a groth16 proof and export testdata/mips/verifying.key
and testdata/mips/proof.proof
.
Generate the on chain verification contract.
Using verifier contract to verify proof (requires installing hardhat).
Deploy Verifier Contract
Output the contract address as follows:
Call the contract to verify the proof.
Upon success, it will output the following information:
You can view the transaction details for the hash.
Congrats! You have just deployed your first proof. You can try using your proof integrated with the use-cases of ZKM.
Last updated