Analysis of the XRP Ledger Consensus Protocol. - Brad Chase; Ethan MacBrough (CoRR, 2018)