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.