R&D
Measuring The Health Of A Stateless Ethereum Ecosystem
With a quantified model in place, part three explores various scenarios to measure the health of a Stateless Ethereum ecosystem.by October 27, 2021
Building A Stateless Ethereum Model
In part two of the Stateless Ethereum series, we explore our approach to building a model of such a complex ecosystem.by October 20, 2021
Defining Stateless Ethereum: A Journey Into The Unknown
As the size of Ethereum state grows ad infinitum, it is worth exploring and modeling the question: Is stateless Ethereum feasible?by October 13, 2021
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
