Common Prefix is formally verifying XRPL's Lending Protocol in Lean 4, days after xrpld 3.4.0 shipped with closed-ended vaults and cash-basis accounting. The math can prove the books balance. It can't prove borrowers will pay.
Sep 24, 2026
Sep 24, 2026
Sep 24, 2026
Sep 24, 2026
Sep 24, 2026
Sep 24, 2026
Sep 23, 2026
Sep 23, 2026