Summary

Ripple is working with Common Prefix to specify and formally verify key components (Payment Engine and the Consensus Protocol) of the XRP Ledger. You can read the fresh specification of the Payment Engine on Github: XRP Ledger Payment Engine Specification.




In 2012, when the XRP Ledger first went live, its creators had a singular...