/ 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}});