Scallop Lend、中核プロトコルの形式検証完了をAsymptoticが確認

Scallop Lendによると、Asymptoticのレビューにより、会計ロジック、清算計算、アクセス制御、固定小数点演算の数学的正確性が確認された。