Open
Description
pragma circom 2.1.6;
template Sigma() {
signal input in;
signal input a;
signal input b;
signal output out;
signal input x;
out <== in*x + a*x + b*x;
}
component main { public [ in ] } = Sigma();
On this code i got error[T3001]: Non quadratic constraints are not allowed!
pragma circom 2.1.6;
template Sigma() {
signal input in;
signal input a;
signal input b;
signal output out;
signal input x;
out <== (in + a + b)*x;
}
component main { public [ in ] } = Sigma();
But on this code it is working.
Can you please explain to me how the first one is quadratic constraint and the second one is not.
Metadata
Metadata
Assignees
Labels
No labels