For the complete documentation index, see llms.txt. This page is also available as Markdown.

Correct By Construction (CBC) Casper

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

Last updated