1  pragma circom 2.0.0;
 2  
 3  include "../../circuits/sha256/constants.circom";
 4  
 5  template 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  
20  component main {public [in]} = A();