Scallop Lend has successfully completed a comprehensive formal verification conducted by Asymptotic, the official audit partner of Mysten Labs. According to PANews, the verification confirmed the mathematical correctness of the protocol’s core mechanisms, including key accounting logic, liquidation calculations, access control, and fixed-point arithmetic operations.
Original and detailed news is here: Read More
