Formally Verifying the Ethereum 2.0 Phase 0 Specifications

less than 1 minute read

Published: August 10, 2020

An update from ConsenSys R&D on their effort to bring trustworthiness to the Beacon Chain and the core foundations of Eth2.