CBC Wiki
A Python implementation of correct-by-construction consensus protocols, including Casper the Friendly Ghost for blockchain.
What is CBC Wiki?
Casper CBC is a Python implementation of correct-by-construction consensus protocols, including Casper the Friendly Ghost for blockchain consensus. It provides a simulation framework for experimenting with these protocols, which are designed to achieve safety and liveness in distributed systems with Byzantine faults.
Researchers and developers working on distributed systems, blockchain consensus, or Byzantine fault tolerance who need a flexible tool for protocol simulation and analysis.
It offers a practical, open-source implementation of cutting-edge CBC consensus protocols from Ethereum research, with configurable simulations and visualizations to understand protocol behavior without deploying a full network.
Overview
Casper CBC is a Python implementation of a class of 'correct-by-construction' (CBC) consensus protocols, which includes Casper the Friendly Ghost for blockchain consensus and Casper the Friendly Binary Consensus Protocol. It provides a framework for simulating and experimenting with these protocols, which are designed to achieve safety and liveness guarantees in distributed systems.
Key Features
- Casper the Friendly Ghost — A blockchain consensus protocol implementation for achieving Byzantine fault tolerance.
- Casper the Friendly Binary Consensus — A protocol for binary consensus problems in distributed systems.
- Multiple Protocol Simulations — Supports simulations for binary, blockchain, concurrent, integer, order, and sharding consensus protocols.
- Configurable Message Passing Modes — Includes 'rand' (random), 'rrob' (round-robin), and 'full' (all-to-all) propagation modes for experimentation.
- Visualization Tools — Generates graphs and GIFs of simulation results to analyze protocol behavior.
Philosophy
The project emphasizes a correct-by-construction approach to consensus protocol design, ensuring safety properties are inherently guaranteed through the protocol's structure rather than added as an afterthought.
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
