feat: fold noir circuits

privacy-scaling-explorations / sonobe

Experimental folding schemes library

https://privacy-scaling-explorations.github.io/sonobe-docs/

MIT License

205 stars 54 forks source link

feat: fold noir circuits #131

Closed dmpierre closed 3 months ago

dmpierre commented 4 months ago

This PR adds the ability to use sonobe with noir circuits. To do this:

It leverages a fork of the arkworks_backend library which (1) is generic over any field, (2) accommodates for the fact that sonobe assigns instance and private input values before calling generate_constraints.
It implements the FCircuit trait on a NoirFCircuit struct.

dmpierre commented 3 months ago

Hey @arnaucube, I did an additional commit showing that the integration can support more complex noir circuits. It changes the example for iterative MiMC hashing, using noir's standard library. I also added an illustrative test showing that the output of the generate_step_constraints method is the same as what is obtained when running with noir directly. Since it's more illustrative, I will delete it before merging in main (if that's fine with you!)

CPerezz commented 3 months ago

SOrry. This PR caught me flying. Thanks for the work @dmpierre !!