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

W.R. Kanhai; I.S. van Loon; Y. Mangalgi; T.C.J. van der Valk; L.C. Witte; A. Panichella; Mitchell Olsthoorn; Burcu Kulahcioglu Ozkan

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

W.R. Kanhai, I.S. van Loon, Y. Mangalgi, T.C.J. van der Valk, L.C. Witte, A. Panichella, Mitchell Olsthoorn, Burcu Kulahcioglu Ozkan

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

13 Downloads (Pure)

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=O7Z3ufRa51Y

Original language	English
Title of host publication	18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025
Publication status	Published - 2025

Access to Document

icst25tool-id106-p-f3225ede06-102230_102231-preprintSubmitted manuscript, 176 KB

Cite this

@inproceedings{320d79941c2c4bcf8a8f29b4bd1d7654,

title = "Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm",

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=O7Z3ufRa51Y",

author = "W.R. Kanhai and {van Loon}, I.S. and Y. Mangalgi and {van der Valk}, T.C.J. and L.C. Witte and A. Panichella and Mitchell Olsthoorn and {Kulahcioglu Ozkan}, Burcu",

year = "2025",

language = "English",

booktitle = "18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025",

}

TY - GEN

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

AU - Kanhai, W.R.

AU - van Loon, I.S.

AU - Mangalgi, Y.

AU - van der Valk, T.C.J.

AU - Witte, L.C.

AU - Panichella, A.

AU - Olsthoorn, Mitchell

AU - Kulahcioglu Ozkan, Burcu

PY - 2025

Y1 - 2025

N2 - 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=O7Z3ufRa51Y

AB - 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=O7Z3ufRa51Y

M3 - Conference contribution

BT - 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025

ER -

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

Abstract

Access to Document

Fingerprint

Cite this