We integrated noir as a frontend to sonobe, a library being joint-developed by 0xPARC and PSE. It implements various folding schemes such as nova and hypernova, with which noir circuits can be folded. It includes some example code showing how to do this using nova.
Description
We integrated
noir
as a frontend tosonobe
, a library being joint-developed by 0xPARC and PSE. It implements various folding schemes such as nova and hypernova, with whichnoir
circuits can be folded. It includes some example code showing how to do this using nova.