Particle.news
Download on the App Store

XRP Ledger Releases v3.2.0 to Fix Validator Bugs Found in Formal Audit

The update follows machine-checked analysis and signals a move to formal verification for upcoming vault and lending protocol work.

Overview

  • XRP Ledger deployed version 3.2.0 on Monday to fix numerical errors and unexpected behavior in xrpld, the validator software that runs consensus and transaction processing.
  • Blockchain security firm Common Prefix modeled key XRPL components and found the edge cases in xrpld that prompted the fixes and the live update.
  • Common Prefix has agreed to maintain the Payment Engine specification, the formal rulebook that governs how value moves on the ledger including multi-currency payments and decentralized exchange operations.
  • Formal verification will expand to the Single Asset Vault proposal (XLS-65) and the Lending Protocol (XLS-66), using machine-checked proofs to test custody and borrowing rules before those features reach the network.
  • The announcement produced about a 3.6% intraday price uplift for XRP and renewed community debate over Ripple’s monthly escrow releases and its practice of re-locking unused tokens, and developers warn further patches and spec updates can be expected as DeFi features are added.