nalinbhardwaj/Nova-Scotia

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

Opened this issue · 0 comments

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