circomlib/circuits/mux1.circom
circuits/mux1.circomRaw
1/*
2 Copyright 2018 0KIMS association.
3
4 This file is part of circom (Zero Knowledge Circuit Compiler).
5
6 circom is a free software: you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 circom is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with circom. If not, see <https://www.gnu.org/licenses/>.
18*/
19
20template MultiMux1(n) {
21 signal input c[n][2]; // Constants
22 signal input s; // Selector
23 signal output out[n];
24
25 for (var i=0; i<n; i++) {
26
27 out[i] <== (c[i][1] - c[i][0])*s + c[i][0];
28
29 }
30}
31
32template Mux1() {
33 var i;
34 signal input c[2]; // Constants
35 signal input s; // Selector
36 signal output out;
37
38 component mux = MultiMux1(1);
39
40 for (i=0; i<2; i++) {
41 mux.c[0][i] <== c[i];
42 }
43
44 s ==> mux.s;
45
46 mux.out[0] ==> out;
47}