Correct By Construction (CBC) Casper

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

Last updated