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