Stateful to Stateless: Modelling Stateless Ethereum

Sandra Johnson
(ConsenSys Software Inc, Australia)
David Hyland-Wood
(ConsenSys Software Inc, Australia)
Anders L Madsen
(Aalborg University, Denmark)
Kerrie Mengersen
(Queensland University of Technology (QUT) Brisbane, Australia)

The concept of 'Stateless Ethereum' was conceived with the primary aim of mitigating Ethereum's unbounded state growth. The key facilitator of Stateless Ethereum is through the introduction of 'witnesses' into the ecosystem. The changes and potential consequences that these additional data packets pose on the network need to be identified and analysed to ensure that the Ethereum ecosystem can continue operating securely and efficiently. In this paper we propose a Bayesian Network model, a probabilistic graphical modelling approach, to capture the key factors and their interactions in Ethereum mainnet, the public Ethereum blockchain, focussing on the changes being introduced by Stateless Ethereum to estimate the health of the resulting Ethereum ecosystem. We use a mixture of empirical data and expert knowledge, where data are unavailable, to quantify the model. Based on the data and expert knowledge available to use at the time of modelling, the Ethereum ecosystem is expected to remain healthy following the introduction of Stateless Ethereum.

In Clemens Dubslaff and Bas Luttik: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany, 2nd April 2022, Electronic Proceedings in Theoretical Computer Science 355, pp. 27–39.
Published: 21st March 2022.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: