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

驗證背景與重點

Scallop Lend 已完成由 Asymptotic（Mysten Labs 官方審計合作夥伴）執行的全面形式化驗證。此次驗證針對協議的核心機制進行數學性正確性確認，涵蓋核心記帳邏輯、清算計算、訪問控制以及定點數運算等關鍵功能。

形式化驗證透過數學方法對智能合約邏輯進行嚴謹證明，確保協議在資金安全、管理功能與風險控制方面具有高度穩健性。此舉進一步鞏固了 Scallop 協議的可信度與安全性，並體現了其對用戶資產安全的長期承諾。