PANews reported on March 15th that Scallop Lend has completed a comprehensive formal verification conducted by Asymptotic (Mysten Labs' official audit partner). This verification confirmed the mathematical correctness of the protocol's core mechanisms, including core accounting logic, liquidation calculations, access control, and fixed-point arithmetic.