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