sonobe/folding-schemes/src/utils/espresso/sum_check
aarnaucubeAdd NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait (#173)
* add new NIFSGadgetTrait
* implement Mova's NIFSGadget
* refactor Nova NIFSGadget to fit into the new NIFSGadgetTrait
* abstract NIFSGadget related tests for all implementors of
NIFSGadgetTrait to avoid duplicated code in the tests between the
different Nova variants gadget tests
* frontends/noir update mimc usage since it has been migrated from
noir's std into it's own repoe118387Nov 12, 2024
..
mod.rs-rw-r--r--9388 Bprover.rs-rw-r--r--8706 Bstructs.rs-rw-r--r--2167 Bverifier.rs-rw-r--r--10753 B