Look Who it Was Random video

A Correct by Construction Asynchronous Casper Protocol

3,674 views · Published 19 October 2016 · 21:20 · Indexed 25 September 2026

Channel: Ethereum Foundation · 2016 · Science & Technology

Watch on YouTube

Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more.
https://archive.devcon.org/archive/watch/2/a-correct-by-construction-asynchronous-casper-protocol

This technical talk covers the ongoing formal verification and implementation efforts behind a correct-by-construction asynchronous byzantine-fault tolerant binary version of the Casper consensus protocol that is currently under development. Work extending the correct-by-construction approach to virtual machine replication, validator rotation and public economic consensus will also be discussed.

Speaker(s): Vlad Zamfir
Skill level: Advanced
Track: Developer Infrastructure
Keywords: technical, casper, byzantine, nodes, binary, decision, construction, consensus, fault, tolerance, finality, estimate, justification, sender, bet, protocol, equivocation, validators

Follow us: https://twitter.com/efdevcon, https://twitter.com/ethereum
Learn more about devcon: https://www.devcon.org/
Learn more about ethereum: https://ethereum.org/ 

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers. 
Devcon 2 was held in Shanghai, China on Sep 19 - 21, 2016.
Devcon is organized and presented by the Ethereum Foundation, with the support of our sponsors. To find out more, please visit https://ethereum.foundation/

More from this channel