Correct By Construction (CBC) Casper

CBC Casper is a family of consensus algorithms developed by Vlad Zamfir. Foreseen in “Ethereum 3.0”

Resources

https://github.com/ethereum/cbc-casper/wiki