Scallop完成由Asymptotic進行的全面形式化驗證

據官方消息，Scallop Lend 已完成 Asymptotic（Mysten Labs 官方審計合作伙伴）進行的全面形式化驗證。該驗證確認了協議核心機制的數學性正確，包括核心記賬邏輯、清算計算、訪問控制以及定點數運算等。