Watch / A Correct by Construction Asynchronous Casper Protocol

A Correct by Construction Asynchronous Casper Protocol

  • YouTube
  • IPFS
  • Swarm
  • Details

A Correct by Construction Asynchronous Casper Protocol

Duration: 00:21:20

Speaker: Vlad Zamfir

Type: Talk

Expertise: Advanced

Event: Devcon 2

Date: Sep 2016

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.
About the speakers

VZ

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