Certora conducted a manual security audit of Relend's Solidity smart contracts within the Ethereum ecosystem from 3 February to 7 February 2025. The following report provides details of findings and reviews.