1
 2
 3template RotR(n, r) {
 4    signal input in[n];
 5    signal output out[n];
 6
 7    for (i=0; i<n; i++) {
 8        out[i] <== in[ (i+r)%n ];
 9    }
10}