sonobe/solidity-verifiers/templates
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
..
groth16_verifier.askama.sol-rw-r--r--6524 Bheader_template.askama.sol-rw-r--r--45 Bkzg10_verifier.askama.sol-rw-r--r--10354 Bnova_cyclefold_decider.askama.sol-rw-r--r--6515 B