XRPL deploys mathematical proofs for lending protocol
XRPL developers are using mathematical proofs and formal verification to secure the…
Ripple initiates AI-only audit for XRP Ledger lending, cuts old code
Ripple is shrinking the XRP Ledger attack surface by removing old code…