1include "../../circuits/bitify.circom"
 2include "../../circuits/binsub.circom"
 3
 4template A() {
 5    signal private input a;
 6    signal input b;
 7    signal output out;
 8
 9    component n2ba = Num2Bits(16);
10    component n2bb = Num2Bits(16);
11    component sub = BinSub(16);
12    component b2n = Bits2Num(16);
13
14    n2ba.in <== a;
15    n2bb.in <== b;
16
17    for (var i=0; i<16; i++) {
18        sub.in[0][i] <== n2ba.out[i];
19        sub.in[1][i] <== n2bb.out[i];
20        b2n.in[i] <== sub.out[i];
21    }
22
23    out <== b2n.out;
24}
25
26component main = A();