Analyzing the FastPay protocol
FastPay  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  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).