wrong gate for public output in double generic mode

[katat]

Currently the public output needs to be calculated at the end and assign to the first column of the witness rows. Each row represents a gate.

When it is single generic gate mode, the output assignment can be done properly in a row (gate) that is reserved for only that public output.

But in double generic gate mode, the gate contains the output wire fails to pass the constraint check.

[mimoo]

do you know what is happening here? add_public_output should not use the double generic gate optimization, maybe it does?

[katat]

oh yeah, it uses add_generic_gate. That is probably the cause.