privacy-scaling-explorations/sonobe

HyperNova NIMFS verifier circuit

arnaucube opened this issue · 1 comments

arnaucube commented

Depends on #13

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

dmpierre commented

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

  • 🚀1