Community curated by people like you

Formal Verification stories

Sep 18, 2026

XRP Ledger uses mathematical proofs to test security of upcoming lending market

XRP Ledger developers are employing mathematical proofs to verify whether the network's forthcoming lending market can be drained or become insolvent. Protocol research firm Common Prefix announced the testing initiative on September 17.

Sep 18, 2026·1 source

00

Top claims

▪The software issues identified during Common Prefix's early 2026 verification phase were addressed by developers in XRP Ledger `xrpld` versions 3.1.3 and 3.2.0.
▪The `xrpld` version 3.4.0 software for the XRP Ledger introduces cash-basis accounting, which recognizes interest income only as payments arrive rather than at loan origination.
▪The LendingProtocolV1_1 amendment included in XRP Ledger `xrpld` version 3.4.0 introduces closed-ended lending vaults that transition through subscription, investment, and redemption phases

Subtopics

DeFi1 DeFi lending1 Smart contract security1

Related timelines

US midterm elections

AI Data Center Gold Rush

Congress

Crypto hacks

Ebola outbreak