PANews 3月15日消息，根據官方消息，Scallop Lend 已完成Asymptotic（Mysten Labs 官方審計合作夥伴）進行的全面形式化驗證。此驗證確認了協議核心機制的數學性正確，包括核心記帳邏輯、清算計算、存取控制以及定點數運算等。