The Byzantine Generals Problem and Blockchain Consensus Model Proof...