1const path = require("path");
  2const wasm_tester = require("circom_tester").wasm;
  3const F1Field = require("ffjavascript").F1Field;
  4const Scalar = require("ffjavascript").Scalar;
  5exports.p = Scalar.fromString("21888242871839275222246405745257275088548364400416034343698204186575808495617");
  6const Fr = new F1Field(exports.p);
  7
  8describe("Mux4 test", function() {
  9    this.timeout(100000);
 10    it("Should create a constant multiplexer 4", async () => {
 11
 12        const circuit = await wasm_tester(path.join(__dirname, "circuits", "mux4_1.circom"));
 13
 14        const ct16 = [
 15            Fr.e("123"),
 16            Fr.e("456"),
 17            Fr.e("789"),
 18            Fr.e("012"),
 19            Fr.e("111"),
 20            Fr.e("222"),
 21            Fr.e("333"),
 22            Fr.e("4546"),
 23            Fr.e("134523"),
 24            Fr.e("44356"),
 25            Fr.e("15623"),
 26            Fr.e("4566"),
 27            Fr.e("1223"),
 28            Fr.e("4546"),
 29            Fr.e("4256"),
 30            Fr.e("4456")
 31        ];
 32
 33        for (let i=0; i<16; i++) {
 34            const w = await circuit.calculateWitness({ "selector": i }, true);
 35
 36            await circuit.checkConstraints(w);
 37
 38            await circuit.assertOut(w, {out: ct16[i]});
 39        }
 40    });
 41
 42    it("Should create a constant multiplexer 3", async () => {
 43
 44        const circuit = await wasm_tester(path.join(__dirname, "circuits", "mux3_1.circom"));
 45
 46        const ct8 = [
 47            Fr.e("37"),
 48            Fr.e("47"),
 49            Fr.e("53"),
 50            Fr.e("71"),
 51            Fr.e("89"),
 52            Fr.e("107"),
 53            Fr.e("163"),
 54            Fr.e("191")
 55        ];
 56
 57        for (let i=0; i<8; i++) {
 58            const w = await circuit.calculateWitness({ "selector": i }, true);
 59
 60            await circuit.checkConstraints(w);
 61
 62            await circuit.assertOut(w, {out: ct8[i]});
 63        }
 64    });
 65    it("Should create a constant multiplexer 2", async () => {
 66
 67        const circuit = await wasm_tester(path.join(__dirname, "circuits", "mux2_1.circom"));
 68
 69        const ct4 = [
 70            Fr.e("37"),
 71            Fr.e("47"),
 72            Fr.e("53"),
 73            Fr.e("71"),
 74        ];
 75
 76        for (let i=0; i<4; i++) {
 77            const w = await circuit.calculateWitness({ "selector": i }, true);
 78
 79            await circuit.checkConstraints(w);
 80
 81            await circuit.assertOut(w, {out: ct4[i]});
 82        }
 83    });
 84    it("Should create a constant multiplexer 1", async () => {
 85
 86        const circuit = await wasm_tester(path.join(__dirname, "circuits", "mux1_1.circom"));
 87
 88        const ct2 = [
 89            Fr.e("37"),
 90            Fr.e("47"),
 91        ];
 92
 93        for (let i=0; i<2; i++) {
 94            const w = await circuit.calculateWitness({ "selector": i }, true);
 95
 96            await circuit.checkConstraints(w);
 97
 98            await circuit.assertOut(w, {out: ct2[i]});
 99        }
100    });
101});