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