Sicheng Hao

新しいツールがクロスチェーンスマートコントラクトの脆弱性を特定することを目指してるんだ。

新しいフレームワークがスマートコントラクトの状態戻り脆弱性の検出を改善するよ。