arnaucube e1183877e7 Add 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 repo

2024-11-12 15:34:02 +00:00

..

groth16_verifier.askama.sol

Add solidity verifier of the nova+cyclefold (#87)

2024-04-25 09:51:59 +00:00

header_template.askama.sol

Add CLI interface for verifier contract generation (#74)

2024-03-18 10:09:22 +00:00

kzg10_verifier.askama.sol

Add solidity verifier of the nova+cyclefold (#87)

2024-04-25 09:51:59 +00:00

nova_cyclefold_decider.askama.sol

Add NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait (#173)

2024-11-12 15:34:02 +00:00