Scallop完成由Asymptotic进行的全面形式化验证

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