Giters

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Middleware to load Noir's ACIR into R1CS supported by Nova

srinathsetty opened this issue · comments

commented

Nova accepts circuits written with bellpepper. If one writes a middleware (analogous to Noir's arkworks backend) to parse and load ACIR (and witness) into a bellpepper circuit, one can then prove the execution of Noir programs with Nova.