Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Correct-by-construction Casper Wiki
Welcome! This is the wiki for the proof-of-concept of correct-by-construction (CBC) Casper. CBC Casper is a family of consensus algorithms developed by Vlad Zamfir as part of research into next-generation consensus protocols for blockchains. The correct-by-construction approach to consensus promises a number of improvements over traditional consensus protocols.
On this wiki, you can find:
- CBC Casper Explain Like I'm 5
- Resource List
- Frequently Asked Questions
- Outstanding Research Questions
If you're looking to get involved, have questions/comments, or just wanna hang, come join the Gitter.