Watch / The CBC Casper Roadmap

The CBC Casper Roadmap

  • YouTube
  • IPFS
  • Details

The CBC Casper Roadmap

Duration: 00:30:36

Speaker: Vlad Zamfir

Type: Talk

Expertise: Intermediate

Event: Devcon 5

Date: Oct 2019

The CBC Casper roadmap is a plan to implement Proof-of-Stake and Sharding for Ethereum using “correct-by-construction” (CBC) software design methodology. This talk will share new CBC Casper research, including specifications for light clients, liveness and sharding. It will include updates on formal verification and engineering efforts, and a roadmap for (eventual) release.
About the speakers


Vlad Zamfir

Vlad Zamfir is a proof-of-stake and consensus protocol designer, also known in Ethereum and cryptocurrency expert communities for pioneering research on cryptoeconomics, blockchain governance and crypto law. Low-key, Vlad’s contributed to the DAO hard fork, to the latest message fork driven choice rule, and to many arguments against on-chain governance and blockchain immutability.

  • Related