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:
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.