PANews于3月15日报道,Scallop Lend已完成由Asymptotic(Mysten Labs官方审计合作伙伴)进行的全面形式化验证。PANews于3月15日报道,Scallop Lend已完成由Asymptotic(Mysten Labs官方审计合作伙伴)进行的全面形式化验证。

Scallop 已完成由 Asymptotic 执行的完整正式验证。

2026/03/15 11:49
阅读时长 1 分钟
如需对本内容提供反馈或相关疑问,请通过邮箱 [email protected] 联系我们。

PANews 于3月15日报道,Scallop Lend 已完成由 Asymptotic(Mysten Labs 的官方审计合作伙伴)进行的全面形式化验证。该验证确认了协议核心机制的数学正确性,包括核心会计逻辑、清算计算、访问控制和定点运算。

免责声明: 本网站转载的文章均来源于公开平台,仅供参考。这些文章不代表 MEXC 的观点或意见。所有版权归原作者所有。如果您认为任何转载文章侵犯了第三方权利,请联系 [email protected] 以便将其删除。MEXC 不对转载文章的及时性、准确性或完整性作出任何陈述或保证,并且不对基于此类内容所采取的任何行动或决定承担责任。转载材料仅供参考,不构成任何商业、金融、法律和/或税务决策的建议、认可或依据。