When we convert R1CS to ArithmeticCircuit, we add one indicator per gate. Note that this is likely to go away because of the multi-outputs in PR #2 . If it does end up staying in some form, we should treat the case where the R1CS only has 1 constraint differently, as in that case no indicator is needed.
Having said that, a one-constraint R1CS sounds too trivial, so we might want to think about whether/how to handle that case.
Cesar199999
commented
1 month ago
When we convert R1CS to
ArithmeticCircuit, we add one indicator per gate. Note that this is likely to go away because of the multi-outputs in PR #2 . If it does end up staying in some form, we should treat the case where the R1CS only has 1 constraint differently, as in that case no indicator is needed.Having said that, a one-constraint R1CS sounds too trivial, so we might want to think about whether/how to handle that case.