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, 2021Charting 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