PANews 3月15日消息，據官方消息，Scallop Lend 已完成 Asymptotic（Mysten Labs 官方審計合作夥伴）進行的全面形式化驗證。該驗證確認了協議核心機制的數學性正確，包括核心記賬邏輯、清算計算、訪問控制以及定點數運算等。
内容來源：PANews
更多精彩內容，請登陸 財華香港網 (https://www.finet.hk/) 現代電視 (http://www.fintv.com)
