Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm

Conference Paper (2025)
Author(s)

Wishaal Kanhai (Student TU Delft)

Ivar van Loon (Student TU Delft)

Yuraj Mangalgi (Student TU Delft)

Thijs van der Valk (Student TU Delft)

Lucas Witte (Student TU Delft)

Annibale Panichella (TU Delft - Software Engineering)

Mitchell Olsthoorn (TU Delft - Software Engineering)

Burcu Kulahcioglu Ozkan (TU Delft - Software Engineering)

Research Group
Software Engineering
DOI related publication
https://doi.org/10.1109/ICST62969.2025.10988979
More Info
expand_more
Publication Year
2025
Language
English
Research Group
Software Engineering
Bibliographical Note
Green Open Access added to TU Delft Institutional Repository as part of the Taverne amendment. More information about this copyright law amendment can be found at https://www.openaccess.nl. Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.@en
Pages (from-to)
737-741
ISBN (print)
979-8-3315-0815-9
ISBN (electronic)
979-8-3315-0814-2
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

Byzantine fault tolerant algorithms are critical for achieving consistency and reliability in distributed systems, especially in the presence of faults or adversarial behavior. The consensus algorithm used by the XRP Ledger falls into this category. In practice, the implementation of these algorithms is prone to errors, which can lead to undesired behavior in the system. This paper introduces Rocket, a fuzz-testing framework designed for the XRPL consensus algorithm. Rocket enables researchers and developers to automatically inject network and process faults into a locally simulated network of XRPL validator nodes to test if the system behaves as expected. This technique has previously been shown to be effective in finding implementation errors. Rocket has been designed to focus on extensibility and ease of use, enabling users to run complex test scenarios with minimal setup. Video: https://www.youtube.com/watch?v=07Z3ufRa51Y

Files

License info not available
warning

File under embargo until 20-11-2025