Gate News 消息，3 月 15 日，Scallop Lend 已完成由 Asymptotic（Mysten Labs 官方审计合作伙伴）进行的全面形式化验证。该验证确认了协议核心机制的数学正确性，包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。