Last updated 5 months ago
Was this helpful?
You must have built an Halo2 verifier executable. -> Learn more here.
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.
halo2-simple-circuit
