1pragma circom 2.0.0;
 2
 3include "../../circuits/pedersen.circom";
 4include "../../circuits/bitify.circom";
 5
 6
 7template Main() {
 8    signal input in;
 9    signal output out[2];
10
11    component pedersen = Pedersen(256);
12
13    component n2b;
14    n2b = Num2Bits(253);
15
16    var i;
17
18    in ==> n2b.in;
19
20    for  (i=0; i<253; i++) {
21        pedersen.in[i] <== n2b.out[i];
22    }
23
24    for (i=253; i<256; i++) {
25        pedersen.in[i] <== 0;
26    }
27
28    pedersen.out[0] ==> out[0];
29    pedersen.out[1] ==> out[1];
30}
31
32component main = Main();
33
34