1template WhileUnrolled(n) {
 2    signal input in;
 3    signal output out[n];
 4
 5    var i=0;
 6    while (i<n) {
 7        out[i] <== in + i;
 8        i++;
 9    }
10}
11
12component main = WhileUnrolled(3);