grapevine-sonobe/circom/node_modules/circomlib/test/circuits/mux1_1.circom
circom/node_modules/circomlib/test/circuits/mux1_1.circomRaw
1pragma circom 2.0.0;
2
3include "../../circuits/mux1.circom";
4include "../../circuits/bitify.circom";
5
6
7template Constants() {
8 var i;
9 signal output out[2];
10
11 out[0] <== 37;
12 out[1] <== 47;
13}
14
15template 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
33component main = Main();