Ethereum(ETH)共同創業者Vitalik Buterin、AIによるサイバー防衛終焉論に反論、資産の約9割を暗号資産で保有

終末論ではなく、形式検証による防御

Ethereum(ETH)の共同創業者Vitalik Buterin氏が、高性能な人工知能(AI)の登場によりサイバーセキュリティの攻防は防御側の敗北で終わるという、近年増え続けている見方に対し明確に反論した。9月17日のXへの投稿で同氏は「AIによるハッキングでサイバーセキュリティは終わる、という見方が一般的になりつつある。私は同意しない」と述べ、むしろ逆の結果が起こりやすいと主張した。その論拠の中心にあるのが形式検証(フォーマル・ベリフィケーション)だ。これは、プログラムが特定の性質を満たすことを数学的に証明する手法であり、対象にはスマートコントラクトも含まれる。Buterin氏は「AIがナビエ・ストークス方程式やFLT(フェルマーの最終定理)を証明できるなら、『このプログラムは安全である』という命題を数学の定理として証明できるはずだ」と書き、数学史上もっとも難問とされる二つの問題に言及した。同時に同氏は定義の難しさも認めている。Signalのようなメッセージアプリで「安全」とは何かを確定させるだけでも、偽造やリプレイ攻撃されるメッセージから、悪意あるコンパイラ、ハードウェアレベルの情報漏洩に至るまでの攻撃対象領域を扱うため、仕様書が千行を超え得るという。さらにButerin氏はこの主張を自身の資産配置にも結びつけ、純資産の約9割が今も暗号資産で保有されていることを明かした。これは、十分に安全なデジタルシステムは高度な攻撃者を相手にしても構築可能だという、暗黙の賭けだとしている。

Xへの投稿https://x.com/VitalikButerin/status/2100337594722890145

ノートPCで動く1,250億パラメータのローカルAI

同じ日の別のX投稿で、Ethereumの共同創業者はセキュリティからローカルAIへ話題を移し、AlibabaのQwen3.8-Flash-Nextを自宅のノートPCのみで動かしたベンチマーク結果を投稿した。ChatGPTとは異なり、この構成ではクラウドサーバーに一切接続しない。モデルはマシン上に置かれ、マシンが自力で応答する。ハードウェアの構成が鍵を握る。同氏のノートPCはAMDのStrix Haloチップを搭載し、プロセッサとグラフィックスが単一のシリコン上に載り、最大128ギガバイトの単一メモリプールを共有する。これは、独立したグラフィックカードで一般的な8〜24ギガバイトを大きく上回る。この統合設計ゆえに、従来はサーバー用ハードウェアが必要だった規模のモデルを一台のノートPCで保持できる。Alibabaは8月26日にオープンウェイトを公開した。モデルは1,250億パラメータを持ちながら、一度に起動するのは60億パラメータのみで、メモリ需要を抑えている。Buterin氏はこのモデルを「本当に印象的だ」と評価し、llama.cppがその処理において急速に改善している点にも言及した。投稿された速度は日常業務に十分実用的な水準だった。短いプロンプトであれば快適な読書速度で応答が返る一方、数万語規模のプロンプトでは出力が遅くなり、非常に長い文書が弱点として残ると述べた。

別のX投稿https://x.com/VitalikButerin/status/2100388909410885974

クラウドなしで実現するプライバシー

速度だけではない。Buterin氏はローカル推論をプライバシーの盾として位置づける。ローカルモデルはデバイス上で応答するため、プロバイダーはリクエストを受け取らない。より重い処理が必要な場合には、分割運用を提案した。「ローカルモデルを使って強力なモデルへのクエリをオーケストレーションし、クエリが個人情報を漏らさないようにする」。実際には、ローカルモデルがプロンプトから名前やウォレットアドレス、非公開コードを除去し、残りの質問だけを渡す形になる。デバイスから出る情報を減らせるが、機微なデータが一切漏れない保証はない。この訴えは同氏の発言の軌跡と一致する。EUのチャットコントロール(CSA規制)をめぐる議論では監視の危険性を警告しており、暗号資産ユーザーも同様の理由から自動化エージェントへの厳しい制限を求めてきた。5月に提起された集団訴訟は、OpenAIがChatGPTのユーザークエリをMetaとGoogleと共有したと主張している。オンチェーン上のセキュリティ事故も警戒感を強めており、最近では780万ドル規模のEthereum(ETH)Safeウォレット悪用事件が発生した。一方で、.ETHドメイン名のような自己主権型のツールは、すでにユーザーが中央集権型プラットフォーム外でアイデンティティを保持することを可能にしている。クラウドプロバイダーが依然として最前線を握っているものの、ローカル性能が伸びるごとに、日常的な処理は同社らのサーバーから離れていく。 市場をリアルタイムで追いたい読者は、Bitgetで現物・先物価格をライブで確認できる。

共通する糸はセキュリティ

9月17日にButerin氏自身のXアカウントで発表された二つの一次投稿を読み解くと、一つの議論を形成していると私たちは見る。AIは両義的な技術であり、先にその推論を形式化した側が勝つ、という主張だ。形式検証は、より広範なEthereumエコシステムにおいて、バリデータソフトウェアやコントラクトコードを証明可能なまでに健全なものへ変え得る。同時に、ローカルモデルは機微なデータを第三者のサーバーから遠ざけ続ける。純資産の約9割が暗号資産で保有されている以上、Buterin氏のプルーフ・オブ・ステークセキュリティへの信頼は単なる学術的立場ではない。価格に織り込まれた確信である。