Returns the h for the given sector-size. The h value is the number of high bits taken from
each challenge c. For production use, it was determined to use the value at index 3, which
translates to a value of 10 for production sector sizes.
Returns the bit pattern to select the h value from the list of hard-coded h values within
the circuit.
Returns the h values allowed for the given sector-size. Each h value is a possible number
of high bits taken from each challenge c. A single value of h = hs[i] is taken from hs
for each proof; the circuit takes h_select = 2^i as a public input.