/poly-adv

hardhat-circom template 🐱

Primary LanguageSolidity

zardkat 🐱

A hardhat-circom template to generate zero-knowledge circuits, proofs, and solidity verifiers

Install

npm i

Compile

npx hardhat circom This will generate the out file with circuit intermediaries and geneate the MultiplierVerifier.sol contract

Prove and Deploy

npx hardhat run scripts/deploy.ts --network mumbai This script does 4 things

  1. Deploys the MultiplierVerifier.sol contract
  2. Generates a proof from circuit intermediaries with generateProof()
  3. Generates calldata with generateCallData()
  4. Calls verifyProof() on the verifier contract with calldata

With two commands you can compile a ZKP, generate a proof, deploy a verifier, and verify the proof 🎉

Authors

Pranshu Jha
@pranshuj73

License

This project is licensed under the MIT License - see the LICENSE.md file for details