Snow White: Provably Secure Proofs of Stake.
State Machine Replication for the Masses with BFT-SMART