Formal Verification of the Ethereum 2.0 Beacon Chain(arxiv.org)3 points·by blopeur·5 anni fa·1 commentsarxiv.orgFormal Verification of the Ethereum 2.0 Beacon Chainhttps://arxiv.org/abs/2110.129091 commentsPost comment[–]blopeur·5 anni fareplyCode: https://github.com/ConsenSys/eth2.0-dafnyVideo : https://www.youtube.com/watch?v=UCSwkUQO_no
Video : https://www.youtube.com/watch?v=UCSwkUQO_no