Top New Best Ask Show Jobs

Formal Verification of the Ethereum 2.0 Beacon Chain | Hacker News Reader

Formal Verification of the Ethereum 2.0 Beacon Chain

arxiv.org

3 points·blopeur··1 comment

Open articleView on HN

Code: https://github.com/ConsenSys/eth2.0-dafny

Video : https://www.youtube.com/watch?v=UCSwkUQO_no

Reply on news.ycombinator.com