Formally Verifying the Ethereum 2.0 Phase 0 Specifications
An update from ConsenSys R&D on their effort to bring trustworthiness to the Beacon Chain and the core foundations of Eth2.
Franck Cassez
Computer Scientist
- Sydney, Australia
- ResearchGate
- Bitbucket
- Github
- Google Scholar
- ORCID