Smart Contract Invariants Protect Against Cybercriminals
本論文は、INVARIANTEVALベンチマークおよびPONDEREPLAYフレームワークを通じて検証されたスマートコントラクトの不変条件が、108,637件の過去のトランザクションにわたるサイバー犯罪による攻撃を阻止することにより、28件の現実世界のイーサリアムにおけるエクスプロイトすべてに対して効果的に防御できることを実証している。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
インターネットを、お金が銀行ではなく、「ブロックチェーン」と呼ばれる巨大で透明なガラスの金庫に保管されている、巨大で賑やかなデジタル都市だと想像してみてください。その金庫の中には、「スマートコントラクト」という、本質的には自動販売機のようなものが住んでいます。正しいコード（コインのようなもの）を入れると、機械は（トークンのような）正しい製品を返してくれます。これには人間のレジ係は一切介在しません。しかし、ここに落とし穴があります。これらの自動販売機は人間によって作られており、人間は間違いを犯すということです。もしプログラマーがドアのロックを忘れたり、お釣りの計算を間違えたりすれば、巧妙な泥棒が忍び込み、金庫全体を奪い去って数十億ドルと共に姿を消してしまうかもしれません。これは、サイバー犯罪者がガラスの隙間をこじ開けようと常に目を光らせている、デジタル経済の西部劇のような世界なのです。
これらの泥棒を防ぐために、コンピュータ科学者たちはより優れた「鍵」を作ろうと試みてきました。一つの有望なアイデアは「不変条件（インバリアント）」です。不変条件を、自動販売機が何かを行う前に必ずチェックする「魔法のルール」だと考えてみてください。それは、クラブの入り口に立つボディーガードのようなものです。「この人は21歳以上か？ ドアはロックされているか？ 価格は一致しているか？」とリストをチェックします。もし答えが一つでも「ノー」であれば、たとえ泥棒がマスターキーを持っていたとしても、機械はドアを固く閉ざし、動作を拒否します。研究者たちが抱いてきた大きな疑問はこうです。「もし過去の強盗事件の際に、これらの魔法のボディーガードが配置されていたら、実際に泥棒を阻止できていただろうか？」そしてさらに重要なのは、「コンピュータにこれらのボディーガードを自律的に発明させることはできるのか、それとも依然として人間による専門家がルールを書く必要があるのか？」という問いです。
この論文は、この問いに深く切り込むために、大規模で現実的な実験を設定することで、この問題に迫ります。研究チームであるKTH王立工科大学のメンバーは、推測するのではなく、テストを行うことにしました。彼らは、イーサリアムのブロックチェーン上で実際に発生した、数十億ドル規模の28件の現実の強盗事件を集めました。それぞれの災難に対して、彼らはデジタル犯罪現場の捜査官のように振る舞いました。彼らは、泥棒がどのように侵入したのかを正確に調査し、その後、その特定の攻撃を阻止できるような特定の「不変条件」（セキュリティルール）を手動で書き上げました。彼らはこのコレクションをINVARIANTEVALと名付けました。
しかし、彼らは単にルールを書いただけではありません。彼らはテスト用のタイムマシンも構築しました。PONDEREPLAYと呼ばれる高度なツールを用いて、彼らはブロックチェーンの歴史を再生しました。彼らは元の脆弱なコードを取り出し、そこに新しいセキュリティルールを追加した上で、10ط637件の履歴トランザクションを再再生しました。それは、銀行強盗の映画を巻き戻しているようなものですが、今度は銀行に新しく強力なアラームシステムが備わっている状態なのです。
結果は非常に明白でした。彼らが再生を実行したとき、人間が書いたすべての28個のセキュリティルールは完璧に機能しました。あらゆるケースにおいて、攻撃のトランザクションが新しいルールに接触すると、機械は「ダメだ」と判断し、窃盗は阻止されました。研究者たちは、これらのルールが単に悪党を止めるだけでなく、善良な人々（正当なユーザー）が通常通りシステムを使用することを98.3%の確率で維持させたことも発見しました。システムが少し厳格になりすぎて通常のユーザーをブロックしてしまった数少ないケースについても、研究者たちはなぜそうなったのかを正確に追跡することができ、ルールが単に誤作動しているのではなく、意図した通りに機能していることを証明しました。
しかし、物語は急展開を迎えます。研究者たちが二つ目の質問、「コンピュータにこれができるのか？」と問いかけたときです。彼らは、現在この分野で利用可能な最高峰の自動化ツール――つまり、私たちの代わりにセキュリティルールを自動的に書き出すように設計されたツール――を取り上げ、これらを28件の現実世界の強盗事件に対してテストしました。結果は、屈辱的な失敗でした。阻止すべき28件の攻撃のうち、これらの洗練された自動化ツールが正しいセキュリティルールを導き出せたのは、わずか2件だけでした。残りの26件については、ツールは危険を完全に見逃したか、あるいはルールが弱すぎて泥棒を止めることができませんでした。
では、結論は何でしょうか？ この論文は、「不変条件」という概念が強力な盾であることを証明しています。もし適切なルールがあれば、私たちは10億ドルを超える窃盗を防げたはずなのです。しかし悪いニュースは、ルールを確実に書いてくれるロボットはまだ存在しないということです。泥棒の特定のトリックを理解し、ガードマンを書くためには、依然として人間の専門家が必要です。これらの防御策を自動生成する技術はまだ黎明期にあり、「何が有効であるかを知っていること」と「コンピュータが現在自力で実行できること」の間には、依然として大きな隔たりがあるのです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。