1  pragma circom 2.0.0;
 2  
 3  include "../../circuits/pedersen.circom";
 4  include "../../circuits/bitify.circom";
 5  
 6  
 7  template 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  
32  component main = Main();
33  
34