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