Scallop Lend 表示，已完成由 Asymptotic（Mysten Labs 的审计合作伙伴）进行的全面形式化验证，验证内容涵盖核心会计、清算数学、访问控制和定点运算。 #DeFi #Security
本文为机器翻译
展示原文
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
Scallop Lend 表示，已完成由 Asymptotic（Mysten Labs 的审计合作伙伴）进行的全面形式化验证，验证内容涵盖核心会计、清算数学、访问控制和定点运算。 #DeFi #Security
