It's janky to assume Circom step circuits are written with step_in/step_out
Opened this issue · 0 comments
nalinbhardwaj commented
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