arnaucube
arnaucube/circomPublic Self-hosted repository
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();