Talks and Blog Posts

Verification of Eth2.0 in Dafny

May 13, 2020

Talk, Ethereum Engineering Group Meetup, Sydney, Australia

A youtube video with a presentation on our formal verification of the Eth2.0 specs.