Verifying Casper

Name: Verifying Casper
Uploaded: 2017-11-26T21:58:16.000Z
Duration: 20 min 16 s
Description: This Devcon 3 talk covers efforts to formally verify Casper, Ethereum's proof-of-stake consensus research, checking its safety and liveness properties with machine-assisted proof tools rather than informal argument alone. It covers what formal verification can and cannot guarantee for a consensus protocol still under active design.

Devcon 3 · 26 Nov 2017 · 20:16

This Devcon 3 talk covers efforts to formally verify Casper, Ethereum's proof-of-stake consensus research, checking its safety and liveness properties with machine-assisted proof tools rather than informal argument alone. It covers what formal verification can and cannot guarantee for a consensus protocol still under active design.

Speakers

Yoichi Hirai

Topics

Protocol
Formal Verification
Security

From Devcon 3, hosted by Ethereum Foundation.