Blockchain Development

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.
Read Article
Formally Verifying the Ethereum 2.0 Phase 0 Specifications