1pragma circom 2.0.0;
 2
 3include "../../circuits/sha256/constants.circom";
 4
 5template A() {
 6    signal input in;
 7    component h0;
 8    h0 = K(8);
 9
10    var lc = 0;
11    var e = 1;
12    for (var i=0; i<32; i++) {
13        lc = lc + e*h0.out[i];
14        e *= 2;
15    }
16
17    lc === in;
18}
19
20component main {public [in]} = A();