Log inference on the Ripple Protocol: testing the system with an empirical approach

Log inference on the Ripple Protocol: testing the system with an empirical approach

Roelvink, Marijn (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Software Engineering)

Panichella, A. (mentor)
Olsthoorn, Mitchell (mentor)
Venkatesha Prasad, R.R. (graduation committee)

Delft University of Technology

Computer Science and Engineering

CSE3000 Research Project

2020-06-22

Ripple is a relatively new payments network that aims to improve the financial system by unifying its underlying infrastructure. Given its critical function, its system must be reliable and free of bugs. Therefore it should be tested extensively. One of the test methods that has not been used on it yet is log inference, a method that has a good potential for modelling complex communication protocols. Therefore, we have developed an empirical model of the Ripple Consensus Protocol by learning a Deterministic Finite Automaton (DFA) from the log files of two servers in the Ripple network. We have also developed a theoretical DFA of the Ripple Consensus Protocol and compared this to the empirical model to verify that the two systems function comparably. There has been found one notable difference between the two models, but whether this difference has a critical impact remains to be discussed.

Blockchain
Model inference
Ripple
XRP

http://resolver.tudelft.nl/uuid:ee55a433-e514-4507-8912-4196f0a9ba1c

Student theses

bachelor thesis

© 2020 Marijn Roelvink