Scallop完成由Asymptotic进行的全面形式化验证
时间：2026年03月15日 11:49
比特之家 3月15日消息，据官方消息，Scallop Lend 已完成 Asymptotic（Mysten Labs 官方审计合作伙伴）进行的全面形式化验证。该验证确认了协议核心机制的数学性正确，包括核心记账逻辑、清算计算、访问控制以及定点数运算等。
本分分类： 快讯
版权声明：本文由比特之家用户上传发布，不代表比特之家立场，转载联系作者并注明出处：http://liangxinseo.com/newsflash/70395.html
