Stateful to Stateless: Modelling Stateless Ethereum

, Hyland-Wood, David, Madsen, Anders L., & (2022) Stateful to Stateless: Modelling Stateless Ethereum. In Dubslaff, Clemens & Luttik, Bas (Eds.) Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems (MARS 2022). Open Publishing Association, Australia, pp. 27-39.

[img]
Preview
Published Version (PDF 1MB)
110127109.
Available under License Creative Commons Attribution 4.0.

Open access copy at publisher website

Description

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.

Impact and interest:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

34 since deposited on 18 May 2022
14 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 230879
Item Type: Chapter in Book, Report or Conference volume (Conference contribution)
Series Name: Electronic Proceedings in Theoretical Computer Science, EPTCS
ORCID iD:
Johnson, Sandraorcid.org/0000-0002-3606-5055
Mengersen, Kerrieorcid.org/0000-0001-8625-9168
Measurements or Duration: 13 pages
Additional URLs:
DOI: 10.4204/EPTCS.355.3
Pure ID: 110127109
Divisions: Current > Research Centres > Centre for Data Science
Current > QUT Faculties and Divisions > Faculty of Science
Current > Schools > School of Mathematical Sciences
Copyright Owner: 2022 The Authors
Copyright Statement: This work is covered by copyright. Unless the document is being made available under a Creative Commons Licence, you must assume that re-use is limited to personal use and that permission from the copyright owner must be obtained for all other uses. If the document is available under a Creative Commons License (or other specified license) then refer to the Licence for details of permitted re-use. It is a condition of access that users recognise and abide by the legal requirements associated with these rights. If you believe that this work infringes copyright please provide details by email to qut.copyright@qut.edu.au
Deposited On: 18 May 2022 00:08
Last Modified: 01 Mar 2024 03:47