Search results for "LEND"
2026-03-15
03:50

Scallop Lend completes asymptotic full formal verification

Gate News reported that on March 15, Scallop Lend completed a comprehensive formal verification conducted by Asymptotic (Mysten Labs' official audit partner). The 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.
More