Master Thesis

Analyzing the FastPay protocol

FastPay [1] allows a set of distributed authorities, some of which are Byzantine, to maintain an integrity-protected and highly available settlement system for pre-funded payments. Different to well known blockchains such as Bitcoin and Ethereum, FastPay does not use a consensus mechanism and only relies on consistent broadcasts. Therefore, FastPay provides other consistency properties.

The goal of this thesis is to understand the implementation [2] of FastPay better. We will analyse the codebase and provide a formal description of the most important algorithms. If possible, we also want to add further functionalities to FastPay (i.e. asset transfer or auctions).


[1] FastPay

[2] Implementation

Contact David Lehnherr for more information.

Nature of the project: Theory 50%, Systems 50%.