Watch / A Correct by Construction Asynchronous Casper Protocol

A Correct by Construction Asynchronous Casper Protocol

  • YouTube
  • IPFS
  • 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

Researcher

Vlad Zamfir is a researcher known for his work on "cryptoeconomics", proof-of-stake and blockchain sharding in the Ethereum ecosystem. He is also concerned about ethics in the use and governance of blockchain technology.

  • Related