Formal Verification of the Ethereum 2.0 Beacon Chain

3 pointsby blopeurover 3 years ago

1 comment

blopeurover 3 years ago

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>