
XRP Ledger applies formal verification to secure its native lending system before Mainnet launch
RippleX developers are using formal verification—a rigorous mathematical testing method—to check the XRP Ledger's new native lending system, including the XLS-66 Lending Protocol and XLS-65 Single Asset Vaults, before activating it on the Mainnet. Th...


