Suilend Liquid Staking provides a framework to facilitate the creation of liquid staking tokens (LSTs) on Sui. Anyone has the ability to create their own LST once they have an active validator. Users can then mint LSTs by depositing SUI in the protocol. At any moment, users have the ability to redeem their LST and immediately unstake their principal as well as potential staking rewards earned.

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.