1template H(x) {
 2    signal output out[32];
 3    var c = [0x6a09e667,
 4             0xbb67ae85,
 5             0x3c6ef372,
 6             0xa54ff53a,
 7             0x510e527f,
 8             0x9b05688c,
 9             0x1f83d9ab,
10             0x5be0cd19];
11
12    for (var i=0; i<32; i++) {
13        out[i] <== (c[x] >> i) & 1;
14    }
15}
16
17component main = H(1);