Verus-Ethereum ブリッジ：2か月前と同じ入口が再び突かれ、$7.54M が裏づけなしに払い出された

事案日

2026-07-23

公開日

2026-07-24

発行

Lemma Critical Team

TL;DR

Verus-Ethereum ブリッジが 2026-07-23 に再び攻撃を受け、約 754 万ドル相当の資産が裏づけなしに払い出された。Blockaid は、今回が同年 5 月の流出（Brief No.016）と「同じブリッジコントラクト・同じ入口・同じバグクラス」であると指摘している。5 月の事案は検出され、Halborn の技術解析も公開され、交渉で約 75% が返還された――それでも約 66 日後、同じ入口が再び有効な払い出しを通した。ここで露呈しているのは、検出と事後解析が「その構造ギャップが閉じられた」ことの独立に検証可能な証明にはならない、という落差である。検出と事前証明は代替ではなく補完である。

事案概要

対象: Verus Protocol の Verus-Ethereum クロスチェーンブリッジ。対象コントラクトは 5 月と同一（0x71518580f36feceffe0721f06ba4703218cd7f63）
被害額: 約 754 万ドル相当。流出資産は約 1,137 ETH に加え tBTC・USDC・USDT・EURC・MKR・scrvUSD。Etherscan による発生時点の主要流出額評価に基づく
発生日時: 2026-07-23。オンチェーン記録では 03:45 UTC にブリッジコントラクトと相互作用する exploit トランザクションが実行された
手口: 攻撃者がブリッジの import 処理を突き、source 側に対応する裏づけ資産がないまま Ethereum 側の払い出しを発生させた（Blockaid）
5 月との関係: Blockaid は今回を「5 月の Verus-Ethereum ブリッジ事案に関連するように見える」とし、「同じブリッジコントラクト・同じ入口・同じ種類のバグ」と説明。ただし今回の確定した技術的原因は未公表で、正確な根本原因は調査中
累計: 5 月（約 1,158 万ドル）と合わせ、両事案の累計損失は約 1,910 万ドル規模
同日の文脈: 本件は 7/23 に相次いだ複数のブリッジ／プロトコル攻撃の一つで、オンチェーン追跡（Lookonchain）は同日の AFX Trade（約 2,415 万ドル）・Verus（約 755 万ドル）・B² Network（約 386 万ドル）を合わせ約 3,555 万ドルと集計した

タイムライン

2026-05-18: Verus-Ethereum ブリッジから約 1,158 万ドルが流出（Brief No.016）。source 側で拠出された価値と Ethereum 側の払い出し額の整合検証が欠けていた
2026-05-22 前後: 交渉により攻撃者が約 4,052.4 ETH（約 75%、当時約 850 万ドル相当）を返還、約 1,350 ETH を bounty として保持。Halborn が root cause の技術解析を公開
2026-07-23 03:45 UTC: 同一ブリッジコントラクトに対する exploit トランザクションが実行され、約 1,137 ETH 他が攻撃者管理アドレス（0xCFd0…2D54）へ移された
2026-07-23: Blockaid が Ethereum 上で攻撃を検出。5 月と「同じコントラクト・同じ入口・同じ種類のバグ」と説明。ただし確定した技術的原因は調査中で、資産の凍結・返還・回収状況、新たな修正計画・運用変更のタイムラインは執筆時点で未確認

注: 技術的事実は Blockaid の検出報告および確立メディア（crypto.news・news.bitcoin.com・AMBCrypto 等）の報道に基づく。今回の正確な根本原因は本稿執筆時点で調査中であり、5 月の欠陥が残存していたのか、関連する別の弱点か、同じ import 処理を通る別経路かは外部から確定できない。最新の一次情報を参照されたい。

事象連鎖

同一入口への到達: 攻撃者が 5 月と同一のブリッジコントラクトの import 処理（cross-chain の入金を Ethereum 側の払い出しに変換する経路）に到達する
裏づけなき払い出しの生成: import 処理を突き、source 側に対応する裏づけ資産がないまま Ethereum 側の払い出しを発生させる。5 月と同じく、入力（source 側で実際に拠出された価値）と出力（Ethereum 側の払い出し）の整合が独立に検証されない
資産の流出: 約 1,137 ETH と複数トークンが攻撃者管理アドレスへ移動する
構造の反復: 5 月の検出・公表・技術解析を経てなお、約 66 日後に同じ入口・同じ種類のバグが再び有効な払い出しに至る

構造的論点

本事案は Pillar 01（来歴）の bridge-config-trust カテゴリに属する。中心的な失敗 primitive は 5 月（Brief No.016）と同根で、cross-chain の value claim が、入出力額の整合として独立検証されないまま Ethereum 側の払い出しに接続される点にある。secondary に、払い出しの元となる入金データの真正性という面で data-provenance、払い出しを認可する経路という面で identity-auth を併記する。

本事案に固有なのは、同じ構造ギャップが、検出・公表・第三者による技術解析を経てなお、約 66 日後に反復した点だ。5 月の事案では、オンチェーン監視が流出を検出し、Halborn が root cause を公開し、交渉により約 75% が回収された。検出と事後対応の系列は機能した。それでも 7 月、Blockaid の言葉で「同じコントラクト・同じ入口・同じ種類のバグ」が再び払い出しに至った。ここで問われるのは個別の実装バグそのものよりも、一度検出・解析された構造ギャップが「閉じられた」ことを、外部から独立に検証できる状態になっていたかである。今回の正確な原因は調査中であり、5 月の欠陥が残っていたのか隣接する別経路かは断定できない。だが、いずれであっても「同じ入口が再び裏づけなき払い出しを通した」という事実は、検出が構造の閉鎖証明にはならないことを示している。

Brief No.016（同ブリッジの 5 月事案）の直接の続報にあたり、Brief No.067（Syscoin ブリッジ、偽の proof が「有効」と解釈された）、Brief No.001（KelpDAO / rsETH）、Brief No.023（Alephium）、Brief No.085（Secret Network、裏づけのない wrapped トークンが発行された）と、「受け渡される主張の整合・裏づけが独立検証されないまま accept される」構造で連なる。直近の Brief No.103（Ostium）とは、外部入力が資産の払い出しに直結する経路で検証が一段欠ける点で隣接する。

検出と証明の落差

Blockaid による今回の検出、5 月における Halborn の root cause 解析、交渉を通じた資産回収は、被害の把握・封じ込め・再発防止議論に不可欠であり、本 Brief がその役割を否定するものではない。5 月の事案ではこれらの系列により約 75% が回収された。検出と事後解析は確かに役割を果たす。

一方で、検出と事後解析は「この構造ギャップはもう閉じられており、同じ入口から裏づけなき払い出しは通らない」ことを、次の払い出しが起きる時点で独立に立証する材料にはならない。5 月の技術解析は「何が起きたか」を可視化したが、その後にブリッジが受理する payload の判定基準が、入出力整合として実際に、かつ独立検証可能な形で更新されたかどうかは、外部からは払い出しの結果を待つほかない。今回、同じコントラクト・同じ入口・同じ種類のバグが再び払い出しに至ったという事実は、まさにその落差を露呈している。監査や規制報告で「このブリッジの cross-chain 払い出しは、裏づけの整合が検証された正規のものか」を立証する材料として、「過去の事案が検出・解析された」という履歴だけでは、現在の払い出しの整合の独立した証跡にならない。

事前証明（pre-execution attestation）は、cross-chain の value claim を、受信側が実行前に独立検証可能な暗号証明として受け取り、「source 側で実際に拠出された価値」と「Ethereum 側の払い出し額」の整合を proof として検証する設計を採る。proof が不整合を告げれば払い出しは事前に遮断される。この検証は特定の実装バグの修正とは独立した層に置かれるため、「同じ入口を通る別経路」であっても、整合が満たされない限り払い出しは通らない。事後の検出・解析（detection 的な「何が起きたか」）と、払い出し前の整合の事前証明（「この払い出しは source と整合するか」）は代替ではなく補完の関係にある。

事後の検知が証明にならない論点は「AI 時代のサイバー防衛に残された、最後の層」（Lemma、2026-05）、行動前に独立検証する設計は「Proof-as-Auth: 鍵を一度も送らずにサインインする」（Lemma、2026-05）を参照。

対応経緯と業界動向

Verus / 検出（Blockaid）: Blockaid が Ethereum 上で攻撃を検出し、5 月事案との関連（同一コントラクト・同一入口・同種のバグ）を指摘。ただし今回の確定した技術的原因は調査中で、完全な技術レポートは未公表。資産の凍結・返還・回収状況、新たな修正計画・運用変更のタイムラインは執筆時点で未確認
5 月からの経緯: 5 月事案では交渉により約 4,052.4 ETH（約 75%）が返還され、Halborn が root cause を公開した。今回の再発は、その検出・解析を経た後に生じている
業界横断の論点: 本件は 7/23 に相次いだブリッジ／プロトコル攻撃（AFX Trade・B² Network 等）の一つに位置づけられ、2026 年を通じて cross-chain インフラの入力検証・整合検証が相対的に脆弱な標的であり続けていることを示す。検出・解析の後に同じ構造ギャップが反復し得るという事実は、「事案の検出」と「構造の閉鎖の独立検証」を分けて扱う必要性を業界横断で再認識させている

「一度検出・解析された cross-chain の構造ギャップが、実際に閉じられたことをどう独立検証するか」は、本事案を契機にブリッジ運用の要件として議論が進む見込み。

Lemma による分析

本事案で露呈した検出と証明の落差（検出・解析は行われたが、同じ入口が約 66 日後に再び裏づけなき払い出しを通した）に対して、Lemma は、cross-chain で受け渡される value claim を、受信側が実行前に独立検証可能な暗号証明として受け取り、整合を proof として検証する設計を提示している。

value claim の事前証明: cross-chain で受け渡される value claim を、払い出し前に独立検証可能な暗号証明として受け取る。「過去に検出・解析された」ことを受理の根拠にしない
入出力整合の検証: 「source 側で実際に拠出された価値」と「Ethereum 側の払い出し額」の整合を proof として検証する。整合が満たされなければ払い出しは事前に拒否される
実装バグから独立した検証層: 整合検証を特定の実装経路の外側に置くことで、「同じ入口を通る別経路」であっても整合が満たされない限り払い出しを通さない
設計思想: 「暗号論理的に有効・過去に解析済み ≠ 意味的に整合」という来歴証明カテゴリの核心を、同一ギャップの反復という形で顕在化した事例に適用する

本事案は、既存の reference 実装（ブリッジ来歴の事前証明）が想定する failure mode が、検出・解析を経てなお反復する現実として顕在化した事例である。

設計と適用範囲は、Pillar 01 — 来歴証明および Trust402 を参照のこと。

Sources

crypto.news: “Verus Ethereum Bridge hacked again for $7.54M after May exploit”（2026-07-23、Blockaid 検出・5 月との関連・オンチェーン詳細）— https://crypto.news/verus-ethereum-bridge-hacked-again-for-7-54m-after-may-exploit/
news.bitcoin.com: “Verus Bridge Suffers Second Exploit in 66 Days as Flaw Pushes Total Losses to $19.1M”（2026-07-23）— https://news.bitcoin.com/verus-bridge-suffers-second-exploit-in-66-days-as-flaw-pushes-total-losses-to-19-1m/
AMBCrypto: “Verus-Ethereum Bridge hit by second hack as $7.54M vanishes”（2026-07-23）— https://ambcrypto.com/verus-ethereum-bridge-hit-by-second-hack-as-7-54m-vanishes/
Halborn（5 月事案の root cause 解析）: “Explained: The Verus-Ethereum Bridge Hack (May 2026)”（2026-05）— https://www.halborn.com/blog/post/explained-the-verus-ethereum-bridge-hack-may-2026

Brief 配布について

本資料は公開情報の構造化分析であり、特定組織への監査・診断・推奨ではありません。

検出と証明の落差 — この Brief の核心

✓

検出は効いたBlockaid が Ethereum 上で攻撃を検出し、5 月事案（Brief No.016）との関連（同一コントラクト・同一入口・同種のバグ）を指摘。5 月には Halborn の root cause 解析と交渉による約 75% の返還も実現した。

だが、証明が無かった検出・解析・回収を経てなお、同じ入口が「もう裏づけなき払い出しは通らない」ことを次の払い出しの時点で独立に立証する材料がなく、約 66 日後に同じ種類のバグが再び有効な払い出しに至った。

→

Lemma で変わることcross-chain の value claim を受信側が実行前に独立検証可能な暗号証明として受け取り、source 側で拠出された価値と Ethereum 側の払い出し額の整合を proof として検証し、不整合なら払い出しを事前に遮断する。

Cite this Brief

この Brief を引用する

Lemma Critical Team. (2026).
"Verus-Ethereum ブリッジ：2か月前と同じ入口が再び突かれ、$7.54M が裏づけなしに払い出された".
Lemma Critical Brief No.107. Lemma / FRAME00, Inc.
https://lemma.frame00.com/ja/critical/briefs/107-verus-ethereum-bridge-repeat-exploit/

@techreport{lemma_critical_107,
  author      = {{Lemma Critical Team}},
  title       = {Verus-Ethereum ブリッジ：2か月前と同じ入口が再び突かれ、$7.54M が裏づけなしに払い出された},
  number      = {107},
  year        = {2026},
  institution = {Lemma / FRAME00, Inc.},
  url         = {https://lemma.frame00.com/ja/critical/briefs/107-verus-ethereum-bridge-repeat-exploit/}
}

Lemma Critical Team. (2026).
Verus-Ethereum ブリッジ：2か月前と同じ入口が再び突かれ、$7.54M が裏づけなしに払い出された (Lemma Critical Brief No.107). Lemma / FRAME00, Inc.
https://lemma.frame00.com/ja/critical/briefs/107-verus-ethereum-bridge-repeat-exploit/