Code: <a href="https://github.com/ConsenSys/eth2.0-dafny" rel="nofollow">https://github.com/ConsenSys/eth2.0-dafny</a><p>Video : <a href="https://www.youtube.com/watch?v=UCSwkUQO_no" rel="nofollow">https://www.youtube.com/watch?v=UCSwkUQO_no</a>