I notice that in circuits.gl/mux1.circom, the output of MultiMux1(n) is like this:
out[i] <== (c[1][i] - c[0][i])*s + c[0][i];
It seemed like a non-deterministic circuit, when "s=0" or "c[1][i] - c[0][i]=0", the other factor can be any value.
I'm not pretty sure, does that sound like a real problem for the team?
I notice that in
circuits.gl/mux1.circom, the output ofMultiMux1(n)is like this:out[i] <== (c[1][i] - c[0][i])*s + c[0][i];It seemed like a non-deterministic circuit, when "s=0" or "c[1][i] - c[0][i]=0", the other factor can be any value. I'm not pretty sure, does that sound like a real problem for the team?