nalinbhardwaj / Nova-Scotia

Middleware to compile Circom circuits to Nova prover
https://crates.io/crates/nova-scotia
MIT License
228 stars 50 forks source link

It's janky to assume Circom step circuits are written with step_in/step_out #19

Open nalinbhardwaj opened 1 year ago

nalinbhardwaj commented 1 year ago

Ideally we should make a new keyword in Circom (or overload the meaning of the "public" keyword in our parsing) to support arbitrary structure for I/O for step circuits (rather than special casing and making assumptions about the circuit structure). This will also clean up some code in this repo around special-casing step_in/step_out in the CircomInput struct.

Related: #11