请点击或按钮分享
PANews 3月15日消息,據官方消息,Scallop Lend 已完成 Asymptotic(Mysten Labs 官方審計合作夥伴)進行的全面形式化驗證。該驗證確認了協議核心機制的數學性正確,包括核心記賬邏輯、清算計算、訪問控制以及定點數運算等。
内容來源:PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可,禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載,請發郵件至 content@finet.com.hk,獲得書面確認及授權後,方可轉載。