Scallop Lend has successfully completed a comprehensive formal verification conducted by Asymptotic, the official audit partner of Mysten Labs. The verification process confirmed the mathematical correctness of Scallop Lend's core mechanisms, including its core accounting logic, liquidation calculations, access control, and fixed-point arithmetic. This marks a significant milestone in ensuring the protocol's reliability and security.