Gate News の報告によると、3月15日に、Scallop Lend は Asymptotic（Mysten Labs の公式監査パートナー）による全面的な形式的検証を完了しました。この検証は、コア記帳ロジック、清算計算、アクセス制御、定点数演算などの重要なモジュールを含む、プロトコルのコアメカニズムの数学的正確性を確認したものです。