Verify Halo2 Proofs

Prerequisite

You must have built an Halo2 verifier executable. -> Learn more here.

Generate the Verifier Contract

After the prover is built, a Solidity verifier contract can be generated with:

target/release/halo2-simple-circuit solidity -f ./verifier.sol

Generated verifier contract size: 8100

Just ensure you customize the halo2-simple-circuit executable name with your own prover name.

Example W3bstream Dapp (Halo2)

w3bstream/examples/halo2-circuit/contracts/Halo2Dapp.sol at develop · iotexproject/w3bstreamGitHub