Scallop Lend は Asymptotic による完全形式化検証を完了

Gate News の報道によると、3月15日にScallop Lendは、Asymptotic(Mysten Labsの公式監査パートナー)による全面的な形式的検証を完了しました。この検証は、プロトコルのコアメカニズムの数学的正確性を確認し、コアの記帳ロジック、清算計算、アクセス制御、固定小数点演算などの重要なモジュールを含みます。
免責事項:本ページの情報には第三者提供の内容が含まれる場合があり、参考目的のみで提供されています。これらはGateの見解や意見を示すものではなく、金融、投資、または法律上の助言を構成するものでもありません。暗号資産取引には高いリスクが伴います。意思決定を行う際には、本ページの情報のみに依存しないでください。詳細については、免責事項をご確認ください。
コメント
0/400
コメントなし