PANewsは3月15日、Scallop LendがAsymptotic（Mysten Labsの公式監査パートナー）による包括的な形式検証を完了したと報じた。この検証により、コア会計ロジック、清算計算、アクセス制御、固定小数点演算など、プロトコルのコアメカニズムの数学的な正しさが確認された。
Scallopは、Asymptoticによって実施された完全な形式検証を完了しました。
共有先：
著者：PA一线
この内容は市場情報の提供のみを目的としており、投資助言を構成しません。
PANews公式アカウントをフォローして、強気・弱気相場を一緒に乗り越えましょう
PANewsアプリ
24時間ブロックチェーン業界情報を追跡し、深掘り記事を解析。