🛡 スカロップ、漸近的による包括的な形式的検証を完了 Scallop Lendは、@Mysten_Labsの公式監査パートナーである@AsymptoticTechによる包括的な正式検証レビューを完了しました。 この検証は、コア会計、清算数学、アクセス制御、不動小数点演算における主要な正しさの性質を証明します。 セキュリティはScallopにとって依然として重要な優先事項です。この検証はプロトコルの堅牢性を強化し、@SuiNetwork上で安全で信頼性の高いDeFiインフラを構築するという私たちの継続的なコミットメントを反映しています。 今後もAsymptoticと密接に連携し、プロトコルとその機能のさらなる強化を目指していきます。 全文レポートを読む: