Verification of Eth2.0 in Dafny

Date:

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

EEG Meet-up Dafny