/ test-vectors / nconstraints.circom
nconstraints.circom
1 template A(n) { 2 signal input in; 3 signal output out; 4 5 signal intermediate[n]; 6 7 intermediate[0] <== in; 8 for (var i=1; i<n; i++) { 9 intermediate[i] <== intermediate[i-1] * intermediate[i-1] + i; 10 } 11 out <== intermediate[n-1]; 12 } 13 14 component main = A({{N}});