Scallop Lend 完成 Asymptotic 全面形式化验证

Gate News 消息,3 月 15 日,Scallop Lend 已完成由 Asymptotic(Mysten Labs 官方審計合作夥伴)進行的全面形式化驗證。該驗證確認了協議核心機制的數學正確性,包括核心記帳邏輯、清算計算、訪問控制以及定點數運算等關鍵模塊。
免責聲明:本頁面資訊可能來自第三方來源,僅供參考,不代表 Gate 的立場或觀點,亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險,請勿僅依賴本頁資訊作出決策。詳情請參閱 免責聲明
回覆
0/400
暫無回覆