Considering how there's a whole section about how proof of stake is garbage in Softwar, I think we're safe in that regard.