search

privacy-scaling-explorations / sonobe

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

HyperNova NIMFS verifier circuit #50

Closed arnaucube closed 5 months ago

arnaucube commented 10 months ago

Depends on https://github.com/privacy-scaling-explorations/folding-schemes/issues/13

Reference: section 5 of HyperNova paper: https://eprint.iacr.org/2023/573.pdf

dmpierre commented 10 months ago

This PR creates an R1CS gadget for computing $c$, as laid out in section 5, step 5 of "A multi-folding scheme for CCS".