Ethereum Researcher Announces CBC Casper Draft Paper

Ethereum Researcher Announces CBC Casper Draft Paper

Ethereum Foundation researcher Vlad Zamfir took to Twitter on 4 November to announce the draft paper: Introducing the ‘Minimal CBC Casper’ Family of Consensus Protocol

The draft paper was made by Vlad Zamfir, Nate Rush, Aditya Asgaonkar, and Georgios Piliouras to give interested readers a clear-cut and basic understanding of the proof of asynchronous Byzantine-fault-tolerant safety CBC Casper.

Correct-by-Construction (CBC) Casper is a different protocol from the Friendly Finality Gadget Casper of Vitalik Buterin.

What is CBC Casper?

The paper opens with an overview of what CBC Casper is:

CBC Casper is a family of ‘correct-by-construction’ consensus protocols that share the same proof of asynchronous, Byzantine fault tolerant consensus safety. We describe this family of protocols by defining their protocol states and protocol state transitions, and then we provide a proof of Byzantine fault tolerant consensus safety for the entire Minimal CBC Casper family of protocols

The CBC Casper draft paper

It also mentioned that the material is meant to be introductory and educational.

The paper demonstrated that members of a family of consensus protocols has asynchronous, Byzantine-fault-tolerant consensus safety.

‘Furthermore, we’ve given examples of members of the family of increasing complexity to demonstrate the power and flexibility of our approach to correct-by-construction consensus protocol design.’

For a deeper understanding of CBC Casper, the detailed draft paper can be read from Github in full.

By continuing to browse, you agree to the use of cookies. Read Privacy Policy to know more or withdraw your consent.