search

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156 stars 44 forks source link

Find or write a verifier for Halo2 over BN254 for EVM #35

Open lopeetall opened 1 year ago

lopeetall commented 1 year ago

Several teams want to use Halo2 in Ethereum, so there may be a Halo2 verifier in Solidity that is already written somewhere.

lopeetall commented 1 year ago

This repo looks very promising @CarloModicaPortfolio: https://github.com/privacy-scaling-explorations/snark-verifier/blob/main/snark-verifier/examples/evm-verifier.rs

This appears to call Halo2 over BN256 and generate a verifier for the circuit in EVM bytecode(?) and perhaps deploy it as well.