arnaucube
arnaucube/circom-compatPublic Self-hosted repository
circom-compat/test-vectors/nconstraints.circom
test-vectors/nconstraints.circomRaw
 1template 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
14component main = A({{N}});