Fast and correct parallel PoW