According to Gate News, on March 15th, Scallop Lend has completed a comprehensive formal verification conducted by Asymptotic (the official audit partner of Mysten Labs). This verification confirmed the mathematical correctness of the protocol's core mechanisms, including critical modules such as core accounting logic, liquidation calculations, access control, and fixed-point arithmetic operations.