Casper Correct by Construction (CBC)

    Casper Correct by Construction (CBC) is the Casper Network’s consensus mechanism. Casper CBC was created by Vlad Zamfir, a well-known software engineer and technologist who worked on Ethereum. The Highway Protocol, the Casper Network’s current consensus protocol, is based on the original Casper CBC specification, with several improvements relating to block finality and network flexibility.