Provably secure Proof of Stake | Hacker News Reader