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