3 ms·

Formal Verification of the Ethereum 2.0 Beacon Chain

• blopeur 5y ago
  Code: https://github.com/ConsenSys/eth2.0-dafny https://github.com/ConsenSys/eth2.0-dafny Video : https://www.youtube.com/watch?v=UCSwkUQO_no https://www.youtube.com/watch?v=UCSwkUQO_no