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