Open sixbigsquare opened 3 months ago
https://github.com/Zklib/gkr-compiler/blob/8d293ffda2f9b0baf32eb0b2f97d416ae3da888a/docs/artifact_and_serialization.md?plain=1#L39-L49
So confirming, when both subcircuits and gates exists (e.g. #SubCircuit=1 and #GateAdd=3200), it means the circuit contains those gates without repetitions, plus the repeated subcircuits?
https://github.com/Zklib/gkr-compiler/blob/8d293ffda2f9b0baf32eb0b2f97d416ae3da888a/docs/artifact_and_serialization.md?plain=1#L39-L49
So confirming, when both subcircuits and gates exists (e.g. #SubCircuit=1 and #GateAdd=3200), it means the circuit contains those gates without repetitions, plus the repeated subcircuits?