Improving rippled: Leveraging passive model inference techniques to test large decentralized systems
Sengim Karayalçin (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Stefanie Roos – Mentor (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Satwik Prabhu Kumble – Graduation committee member (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Ranga Rao Venkatesha Prasad – Graduation committee member (TU Delft - Electrical Engineering, Mathematics and Computer Science)
More Info
expand_more
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
Blockchains and cryptocurrencies, like Ripple, are becoming more widely used. Testing the large decentralized systems these technologies on is complex, as the behavior of the system is dependent on many external factors. We will examine the viability of using passive model inference techniques to test the systems based on the network traffic they produce. Passive inference techniques have been used extensively to model and test different types of systems. However, it is unclear how well passive model inference techniques work for inferring models of large decentralized systems based on the network traffic that these systems produce. Here we show that detecting bugs in the implementations of decentralized protocols is possible. These results were achieved by simulating a version of the Ripple network and modeling the workings of a node in this network. We also simulated the network with defective nodes and by observing the different models generated, were able to detect these bugs. Our results suggest that using passive model inference techniques on network traffic can help test large decentralized systems.