1template X() {
 2    signal input i;
 3    signal output out;
 4
 5    var r = 0;
 6    for (var n=0; n<i; n++) {
 7        r++;
 8    }
 9
10    i === r;
11    out <== i*i;
12}
13
14component main = X();