Stateful to Stateless: Modelling Stateless Ethereum

Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie Mengersen

Research output: Contribution to journalConference article in JournalResearchpeer-review

9 Downloads (Pure)

Abstract

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.

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume355
Pages (from-to)27-39
Number of pages13
ISSN2075-2180
DOIs
Publication statusPublished - 21 Mar 2022
Event5th Workshop on Models for Formal Analysis of Real Systems, MARS 2022 - Munich, Germany
Duration: 2 Apr 20222 Apr 2022

Conference

Conference5th Workshop on Models for Formal Analysis of Real Systems, MARS 2022
Country/TerritoryGermany
CityMunich
Period02/04/202202/04/2022

Bibliographical note

Publisher Copyright:
© Johnson, Hyland-Wood, Madsen & Mengersen

Fingerprint

Dive into the research topics of 'Stateful to Stateless: Modelling Stateless Ethereum'. Together they form a unique fingerprint.

Cite this