Suilend is a lending protocol on Sui. Users supply assets into shared reserves that pool liquidity from many depositors, and they can borrow assets by posting collateral. User positions are tracked in an Obligation that records the user’s collateral deposits and outstanding borrows. Third parties are incentivized to liquidate unhealthy positions.

The Certora Prover demonstrated that the implementation of the Move contracts is correct with respect to the formal rules written by the Certora team. During the verification process, the Certora team discovered issues as listed in the full report along with the Suilend responses.