Oct 10, 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.
Next generation programming platform for decentralized applications.
Professional recording and live streaming, delivered globally.
Presentations on similar topic, category or speaker