create precompiles for zksaas Circom verifiers

tangle-network / tangle

Modular restaking infrastructure for developers, restakers, and operators.

https://www.tangle.tools/

GNU General Public License v3.0

51 stars 24 forks source link

create precompiles for zksaas Circom verifiers #654

Closed shekohex closed 2 months ago

shekohex commented 4 months ago

Create a precompile for the following verifiers:

[ ] Circom: https://github.com/webb-tools/tangle/blob/6e976d726dab1bd43f820a40c25f024b7a0079d5/primitives/src/verifier/circom.rs#L49-L79
[ ] Arkworks: https://github.com/webb-tools/tangle/blob/6e976d726dab1bd43f820a40c25f024b7a0079d5/primitives/src/verifier/arkworks.rs#L19-L27

drewstone commented 4 months ago

If we want the fastest, most performant groth16 verify function we should actually explore this first instead of adding these precompiles. Specifically, we only right now use the groth16 verify for zkSaaS blueprint. If we deploy this blueprint we should want it using https://github.com/paritytech/arkworks-extensions.