def Hint_hash(self, m): h = sha3_512(m).digest() return sum(2**i * self.bit(h, i) for i in range(2 * self.b))
def to_hash(m): return sha3_512(m).digest()