Scallop Lendは、Mysten Labsの公式監査パートナーであるAsymptoticによって実施された包括的な形式的検証を無事に完了しました。この検証プロセスにより、Scallop Lendの中核メカニズム、すなわち中核会計ロジック、清算計算、アクセス制御、および固定小数点演算の数学的正確性が確認されました。これは、プロトコルの信頼性とセキュリティを確保する上で重要なマイルストーンとなります。