circom/test/circuits/ifrolled.circom
test/circuits/ifrolled.circomRaw
1template Main() {
2 signal input in;
3 signal output out[3];
4
5 if (in == 0) {
6 out[0] <-- 1; // TRUE
7 }
8 if (in != 0) {
9 out[0] <-- 0;
10 }
11
12 if (in == 1) {
13 out[1] <-- 1; // TRUE
14 } else {
15 out[1] <-- 0;
16 }
17
18 if (in == 2) {
19 out[2] <-- 1;
20 } else {
21 out[2] <-- 0; // TRUE
22 }
23
24}
25
26component main = Main();