Investment
Features
FeesSafety
Academy
More
Pluang+

XRPL lending code undergoes formal verification before Mainnet activation to ensure safety and accuracy.

Protocol Fundamentals
09 Jun 2026
Blockonomi
View Source
Bullish
pluang ai news

RippleX developers are applying formal verification to the XRP Ledger's lending code, specifically the XLS-66 Lending Protocol and XLS-65 Single Asset Vaults, to detect errors beyond normal testing before these features activate on Mainnet. This process uses mathematical models to ensure the lending functions, which include fixed-term loans and complex financial logic, operate safely at the base protocol level, avoiding risks from rounding or balance errors that could affect all users. The review, done with Common Prefix, has already found edge cases missed by standard tests, highlighting the importance of this rigorous check. Activation still requires validator approval, with the next XRPL version update expected around June 15, 2026.

More News (XRP)

XRP Ledger's fixCleanup3_2_0 amendment enters final 2-week activation after 85.7% validator approval.

XRP Ledger's fixCleanup3_2_0 amendment enters final 2-week activation after 85.7% validator approval.

The XRP Ledger's fixCleanup3_2_0 amendment has entered its final two-week activation countdown after securing 85.71% validator support, surpassing the required 80% threshold. This upgrade bundles multiple protocol fixes for lending, permissioned doma...

Protocol Fundamentals
Bullish
4 hours ago
XRP eyes 20% gain if bullish pattern confirms, but whale sell-offs pose risk.

XRP eyes 20% gain if bullish pattern confirms, but whale sell-offs pose risk.

XRP has risen 5% recently and is testing resistance at $1.13 amid a potential inverse head and shoulders pattern signaling a 20% rally to $1.45. This bullish setup is supported by positive momentum indicators and hopes of a delayed Fed rate hike. How...

Technical Signals
Bullish
5 hours ago
Paradex integrates RFQ engine, boosting $23M XRP options liquidity on-chain.

Paradex integrates RFQ engine, boosting $23M XRP options liquidity on-chain.

Paradex, a decentralized derivatives exchange, has integrated a Request for Quote (RFQ) engine that recently executed a $23 million XRP options block. This integration aims to enhance on-chain liquidity for XRP options by combining on-chain and off-c...

Protocol Fundamentals
Bullish
5 hours ago
XRP gains major institutional boost as DTCC classifies it for clearing and collateral use.

XRP gains major institutional boost as DTCC classifies it for clearing and collateral use.

XRP has been officially classified as a cryptocurrency by the Depository Trust & Clearing Corporation (DTCC) in its educational Learning Center, marking a significant step in its integration with traditional finance. This classification includes guid...

Market News
Bullish
5 hours ago
XRP holds $1.12 amid cautious trading as U.S. CLARITY Act progress may ease regulatory risks.

XRP holds $1.12 amid cautious trading as U.S. CLARITY Act progress may ease regulatory risks.

XRP is stabilizing near $1.12, a key level traders watch to determine if a rebound or further decline will occur. Despite recent gains, the medium-term trend remains bearish with XRP down over 9% in 30 days and about 20% over 60-90 days. The token tr...

Technical Signals
Neutral
6 hours ago
banner-footerbanner-footer

Invest & Trade with
#1 Award-Winning Investment Super App