New consensus algorithm, PoHF, proof of @hilesfiles