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

[srinathsetty]

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.

[Sun-Jc]

One implementation can be found here.

[srinathsetty]

Closing it here given https://github.com/Sun-Jc/noir-ivc/blob/main/src/tests.rs