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