Common Prefix is formally verifying the XRP Ledger Lending Protocol to mathematically prove that it cannot be drained, become insolvent, or break its rules. The work focuses on the Lending Protocol introduced through XLS-66.
Visit Website
Common Prefix is formally verifying the XRP Ledger Lending Protocol to mathematically prove that it cannot be drained, become insolvent, or break its rules. The work focuses on the Lending Protocol introduced through XLS-66.
Visit Website