include "../../circuit/mux4.circom"; include "../../node_modules/circom/circuits/bitify.circom"; template Constants() { var i; signal output out[16]; out[0] <== 123; out[1] <== 456; out[2] <== 789; out[3] <== 012; out[4] <== 111; out[5] <== 222; out[6] <== 333; out[7] <== 4546; out[8] <== 134523; out[9] <== 44356; out[10] <== 15623; out[11] <== 4566; out[12] <== 1223; out[13] <== 4546; out[14] <== 4256; out[15] <== 4456; /* for (i=0;i<16; i++) { out[i] <== i*2+100; } */ } template Main() { var i; signal private input selector; signal output out; component mux = Mux4(); component n2b = Num2Bits(4); component cst = Constants(); selector ==> n2b.in; for (i=0; i<4; i++) { n2b.out[i] ==> mux.s[i]; } for (i=0; i<16; i++) { cst.out[i] ==> mux.c[i]; } mux.out ==> out; } component main = Main();