TL;DR

DeFiScreenerは、過去の攻撃事例をパターン化し、スマートコントラクトの関数とその呼び出しシーケンスを事前スクリーニングする初のフレームワークです。LLMで関数の意味埋め込みを生成し、攻撃パターンライブラリと照合。さらにAPO-MCTSという探索手法で脆弱な呼び出し経路を特定します。207件の実攻撃データで評価し、再現率98.55%、適合率84.30%を達成。ゼロデイ攻撃の14/17件を検出し、既存ツールが見逃した88件の攻撃を発見しました。

解説

AMI HAPPY

ねえ智也くん、この論文のタイトル、『過去の攻撃事例を活用したDeFiスマートコントラクトの事前スクリーニング手法』って、なんかかっこいいね!でもDeFiってあんまり詳しくなくて…

TOMOYA NEUTRAL

DeFiは分散型金融のことだよ。スマートコントラクトで自動化されてるけど、脆弱性があるとハッキングされる。この研究は、過去の攻撃パターンを使って事前に危ない箇所を見つけようって話。

AMI SURPRISED

へー!つまり、過去の攻撃を参考に、新しいコントラクトがやられそうかチェックするってこと?

TOMOYA NEUTRAL

そう。DeFiScreenerっていうフレームワークで、まずLLMを使って関数の意味をベクトル化する。それで攻撃パターンライブラリと照合するんだ。

AMI HAPPY

LLMってChatGPTみたいなやつ?関数の意味を理解するってすごいね!でもそれだけじゃ足りないの?

TOMOYA NEUTRAL

うん。関数単体じゃなくて、呼び出しの順序(シーケンス)が重要だから、APO-MCTSっていう探索手法で脆弱な呼び出し経路を特定する。モンテカルロ木探索の応用だよ。

AMI NEUTRAL

むずかしそう…でも評価はどうだったの?ちゃんと攻撃を見つけられた?

TOMOYA HAPPY

207件の実攻撃データで試して、再現率98.55%、適合率84.30%。ゼロデイ攻撃も14/17件検出できた。既存ツールが見逃した88件の攻撃も発見してる。

AMI SURPRISED

すごい!じゃあもうハッカーも怖くないね!でも何か弱点とかあるの?

TOMOYA NEUTRAL

攻撃パターンライブラリにない新しいタイプの攻撃には弱い。あと、LLMの埋め込み品質に依存するから、誤検出もゼロじゃない。それに、コントラクト全体のロジックまでは見てないから、複雑な条件分岐は苦手。

AMI HAPPY

なるほどね…でも、これでDeFiのセキュリティが上がるなら、私も投資してみようかな?…って、まずはお小遣いを増やさないとね!

TOMOYA NEUTRAL

その前に、論文をちゃんと読んでからにしなよ。