David Schwartz, Ripple CTO emeritus, claims to have discovered a formal mathematical proof of the XRP Ledger consensus algorithm’s validity. This announcement follows work by RippleX engineer Mayukha Vadari who collaborated with CommonPrefix to mathematically verify critical parts of the ledger. Schwartz, an original architect of the XRP Ledger, specified that the proof was too long to fit in a single X post. He remains engaged with the XRP ecosystem by running his own node and contributing to protocol improvements.
Source: Read the original article
