XRPL Protocol: Consensus, Forking and Correctness | AMiner