Skip to content
An Introduction to CBC Casper Consensus Protocols
Branch: master
Clone or download
naterush Merge pull request #18 from LayerXcom/remove_redundant_parenthesis
Remove redundant parenthesis in definition 4.10
Latest commit acc66e2 Feb 5, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
Makefile Fixed a couple of minor typos Nov 5, 2018
cbc-casper-paper-draft.tex Fix the type signature of estimator Jan 26, 2019

Introducing the "minimal" CBC Casper Consensus Protocols.

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. We give examples of members of this family of protocols, including a binary consensus protocol. "Casper the Friendly Ghost", a blockchain consensus protocol, and a sharded blockchain consensus protocol. Each of these examples is "correct-by-construction" because the way they are defined guarantees that they are part of this family of protocols, and therefore satisfy the consensus safety theorem. This draft is intended to be introductory and educational, it is not a complete description of a system that can be implemented exactly as specified.

You can’t perform that action at this time.