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).
References
[1] FastPay
[2] Implementation