RippleX developers are using formal verification to review the XRPL lending code before Mainnet activation. This process aims to find potential flaws that traditional testing may miss in the XLS-66 Lending Protocol and XLS-65 Single Asset Vaults. Validator support is still needed for the activation of XLS-66.

Leave a Reply