XRP Ledger Operations @XRPLOperations

XRP Ledger version 3.4.0 is now available ✅ New amendments for voting: - Lending Protocol v1.1 - closed-ended vaults and cash-basis accounting. - fix Cleanup - bundled fixes. Performance and Stability: - Online delete now pauses on ledger history gaps, so nodes stay closer to the tip. - Peer protocol hardening and faster MPT freeze checks. Packages have moved to packages.xrplf.org with an XRPLF signing key. Nodes on 3.3.0 or earlier must update their repo config. Release blog post: xrpl.org/blog/2026/xrpl…

Formal Verification for the XRP Ledger Lending Protocol. The Lending Protocol (XLS-66) and Single Asset Vaults (XLS-65) are not smart contracts. They are native financial logic inside xrpld. FV raises assurance above ordinary testing. Specify the behavior that must always hold, prove it in a machine-checked model, and keep that model aligned with the production code. In depth thread why @CommonPrefix picked Lean 4 to perform FV on XRPL. ICYMI: Formal Verification is part of the new security approach to amendments - dev.to/ripplexdev/the…

Common Prefix @CommonPrefix

5 days ago

We're formally verifying the XRP Ledger Lending Protocol, going beyond the usual testing, using methods that mathematically prove the protocol can never be drained, become insolvent, or behave outside its intended rules. In this thread we cover how we settled on Lean 4. 1/6 🧵

7 58 286 46K 31

Run an XRP Ledger node/validator? I need just a few minutes of your experience. Fill in the operator survey here👇 and help shape the new XRPL node documentation for xrpl.org aimed at builders and enterprises. docs.google.com/forms/d/e/1FAI…

The Batch V1.1 amendment shipped in xrpld 3.3.0 and is now up for voting. After the v1.0 signature bug was caught in February (pre-Mainnet, no funds at risk), we rebuilt it: root-cause fix, 4 senior reviewers, a Sherlock attackathon, and audits from Halborn and Common Prefix. We also fixed a few other bugs our new AI red-teaming efforts caught along the way. What changed and why it's ready: dev.to/ripplexdev/bat… Atomic transactions on the XRPL, no smart contracts needed. Try it on Devnet today.

x.com/i/spaces/1pJdR…

Formal Verification is raising the bar for security in the blockchain space. The XRP Ledger formal verification already led to increased security and protocol hardening.

Common Prefix @CommonPrefix

2 weeks ago

Excited about the work with @RippleXDev on formally verifying the XRP Ledger. More on the technical details behind this effort. 🧵 1/6

2 20 101 25K 9

Lending v1.1 ships in XRPL 3.4.0 Join us on why it matters, what's new, and what it unlocks. • @angell_denis CTO, XRPLF • @ja_akinyele Head of Engineering, RippleX • @jazzicoop Head of Product, RippleX • @v_tumas Senior Software Engineer, RippleX x.com/i/spaces/1pJdR…

The same technology that just let Claude formalize Fermat's Last Theorem is also being used to formally verify the XRP Ledger. We're working with @CommonPrefix to prove, mathematically, that XRPL's most critical parts do exactly what we expect them to do. commonprefix.com/blog/formal-ve…

Anthropic @AnthropicAI

3 weeks ago

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of

662 2K 14K 4.7M 4K

@cantinasecurity Read more about: - Cantina security review cantina.xyz/portfolio/0a50… - QA test dev.to/ripplexdev/acc…

Permission Delegation on the XRP Ledger has passed an independent security review by @cantinasecurity and the XRPL quality assurance test suite. All findings were fixed in v1.1 and verified by Cantina, and the QA team found no regressions across 5,088 tests.

The refreshed XRPL.org is now live. New design. Clearer paths for institutions, developers, community members, and newcomers to learn about the XRP ecosystem. Find developer resources and explore use cases across payments, tokenization, trading, and more. See what's new: xrpl.org

XRPLF (Node docs update)! We're progressing with the development of the new node operator documentation for xrpl.org (XRPLF project) and want it grounded in how people actually run nodes, not how the defaults say they should. If you run any kind of XRPL node, validator, hub, full history, stock, anything, we'd like 15 minutes of your time on a short questionnaire. Tell us your setup and your story in your own words. Every contributor gets a named shout-out in the published documentation (or stays anonymous if you prefer). No sensitive details wanted: we deliberately don't ask about IPs, ports or topology. If you run infra and are prepared to contribute around 15-20 mins of your time, please reach out to me on @X

The public report of the completed XRP Ledger Batch amendment audit is now available. All findings have already been fixed in the Batch amendment that is currently up for vote. ✅ Batch is one of the most anticipated amendments on the XRP Ledger for both retail and institutional use cases.

Common Prefix @CommonPrefix

3 weeks ago

We are proud to share that we have completed our XRP Ledger Batch Transactions Security Audit for @RippleXDev and @XRPLF. Full report: commonprefix.com/blog/xrp-ledge… 1/4 🧵

8 72 259 40K 30

Security first! Lending Protocol v1.1 for the XRP Ledger going through Sherlock Audit Engine.

SHERLOCK @sherlockdefi

4 weeks ago

Today, @Ripple begins an intensive, AI-only security review of Lending Protocol V1.1 for the XRP Ledger through Sherlock Audit Engine. Audit Engine brings together leading AI auditors and frontier models equipped with specialized security skills, adapting the review to the

50 245 1K 131K 76

@JulianBerridi 🙏

We have released xrpl.js and xrpl-py with support for XRP Ledger version 3.3.0. Java will be going out tonight or tomorrow. xrpl.js release: github.com/XRPLF/xrpl.js/… xrpl-py release: github.com/XRPLF/xrpl-py/…

Permission Delegation (XLS-75d) is coming to the XRP Ledger... but what does it actually let us build? I've put together a new XRPL365 resource designed for three very different groups: - XRPL users - Developers - Validators xrpl365.com/permission-del… See thread 👇

Please update your XRPL nodes to 3.3.0! Over 60% of $XRP Ledger nodes have already been updated to version 3.3.0. This version includes, among other improvements, the feature amendments Batch, Dynamic MPT, Permission Delegation, Sponsor, and Confidential Transfer, as well as a fix bundle.

@CtrlAltCo helped design XLS-68d, an #XRPL amendment introducing Sponsored Fees and Reserves, developed alongside @Ripple. Sponsorship lets one account cover network fees and reserves, so users never hold XRP. The amendment is live for voting. Read more ctrl-alt.co/post/sponsored…

@ja_akinyele Let's build! 💯