Great work by the
@RippleXDev team on a fast, well-coordinated response to the critical Payment Engine vulnerability.
In collaboration with RippleX and
@XRPLF, we are formally verifying critical parts of the XRP Ledger in order to identify deeper issues that conventional testing may miss, and to bring stronger formal guarantees to the protocol.