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

Write a verifier for Halo2 over BN254 in Solidity #36

Closed lopeetall closed 1 year ago

lopeetall commented 1 year ago

If we cannot find a verifier that is already written (#35) than we will need to write one ourselves. Perhaps a member of Heliax has a Sage implementation of Halo2 we can use for reference.

lopeetall commented 1 year ago

Combined with #35