How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
Researchers at ConsenSys designed a machine-checkable correctness (and termination) proof for the Eth2 deposit contract, ensuring that the deposit contract is correct and free of runtime errors.by September 1, 2021
Charting The Path To Proof of Stake Ethereum
Researchers and client teams successfully simulated a testnet between consensus clients and execution clients for Proof of Stake Ethereum.by June 3, 2021
Report: The Impact of the Merge on Institutions
A review of where we are in Ethereum's protocol development and how the Merge to Proof of Stake will impact institutions.
