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)

PreviousVerify Risc0 Proofs NextVerify zkWASM profs

Last updated 2 months ago

This documentation portal is currently undergoing updates to align with the IoTeX 2.0 Whitepaper release. Information provided here may be incomplete, or out-of-date. Please use this portal for preliminary reference only, and check out the official IoTeX 2.0 Whitepaper for updated information.

2024 | IoTeX