Full threadblopeur·Code: https://github.com/ConsenSys/eth2.0-dafnyVideo : https://www.youtube.com/watch?v=UCSwkUQO_noView on HN