Byzantine Generals Problem, Bitcoin, and Proof of Stake