Stateful to Stateless: Modelling Stateless Ethereum

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer 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.

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind355
Sider (fra-til)27-39
Antal sider13
ISSN2075-2180
DOI
StatusUdgivet - 21 mar. 2022
Begivenhed5th Workshop on Models for Formal Analysis of Real Systems, MARS 2022 - Munich, Tyskland
Varighed: 2 apr. 20222 apr. 2022

Konference

Konference5th Workshop on Models for Formal Analysis of Real Systems, MARS 2022
Land/OmrådeTyskland
ByMunich
Periode02/04/202202/04/2022

Bibliografisk note

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

Fingeraftryk

Dyk ned i forskningsemnerne om 'Stateful to Stateless: Modelling Stateless Ethereum'. Sammen danner de et unikt fingeraftryk.

Citationsformater