[Hoplite] Try integrating the EVM verifier

personaelabs / spartan-ecdsa

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

198 stars 28 forks source link

[Hoplite] Try integrating the EVM verifier #27

Closed DanTehrani closed 1 year ago

DanTehrani commented 1 year ago

Motivation

Flesh out the unknown unknowns of the integration with the EVM verifier. We're planning to use snark-verifier which is also used by Axiom. There might be some type/lib compatibility issues, so we want to address those asap.

Scope

Add an executable (in hoplite_circuit/src/bin) that generates an EVM verifier for a given Halo2 circuit using snark-verifier.

DoD

Open a PR targetting the hoplite branch

lsankar4033 commented 1 year ago

@DanTehrani lmk if i should take a look at this!