[Scallop Completes Comprehensive Formal Verification by Asymptotic] According to official sources, Scallop Lend has completed comprehensive formal verification conducted by Asymptotic (the official audit partner of Mysten Labs). This verification confirms the mathematical correctness of the protocol's core mechanisms, including core accounting logic, liquidation calculations, access control, and fixed-point arithmetic.