search

privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
205 stars 54 forks source link

Stabilize circom frontend #101

Closed dmpierre closed 6 months ago

dmpierre commented 6 months ago

This PR aims at stabilizing sonobe's circom frontend. To do this we:

  1. Fixed the allocation of our IVC inputs when using circom-compat. A PR on a circom-compat fork has been opened here to choose how our IVC inputs are allocated (as witnesses and public inputs) and to adjust circom's R1CS indexes when wrapped by our AugmentedFCircuit.
  2. Disabled default reading of circom's wire mapping when loading R1CS files - as what is being done by circom-compat.
  3. Added a test using a previously non-working circuit; the R1CS of keccak.