1  pragma circom 2.0.0;
 2  
 3  include "../../circuits/pointbits.circom";
 4  
 5  
 6  template Main() {
 7      signal input in[2];
 8  
 9      var i;
10  
11      component p2b = Point2Bits_Strict();
12      component b2p = Bits2Point_Strict();
13  
14      p2b.in[0] <== in[0];
15      p2b.in[1] <== in[1];
16  
17      for (i=0; i<256; i++) {
18          b2p.in[i] <== p2b.out[i];
19      }
20  
21      b2p.out[0] === in[0];
22      b2p.out[1] === in[1];
23  }
24  
25  component main = Main();