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