PANews 于3月15日报道,Scallop Lend 已完成由 Asymptotic(Mysten Labs 的官方审计合作伙伴)进行的全面形式化验证。该验证确认了协议核心机制的数学正确性,包括核心会计逻辑、清算计算、访问控制和定点运算。
比特币
BTC
+1.27%
以太坊
ETH
+1.51%
Solana
SOL
+1.78%
瑞波币
XRP
+1.22%
狗狗币
DOGE
+0.69%