FinWiki公開情報の金融フィールドガイド
日EN

クロスチェーンブリッジセキュリティ・保険マトリクス 2026 · 14 プロトコルの信頼モデル / ハック履歴 / カバレッジ全景

確度概ね確度あり更新2026-07-29要再確認2026-10-27出典21機械翻訳

目次

要約

  • 14 のアクティブな cross-chain bridge / messaging プロトコルの 2026-Q2 時点での trust model · hack history · insurance · audit · recovery の 5 次元対照マトリクス
  • Trust model 4 象限:native(CCTP V2 / IBC)· light-client / ZK(Wormhole ZK Verifier / Hyperlane ZK ISM)· validator-set / multisig(LayerZero v2 default · Wormhole Guardian · Axelar)· optimistic / fraud-proof(Across · Connext · Hyperlane optimistic ISM)
  • 過去の hack 累計 ≥ $2.7B(2021-2025)· Ronin $625M · Wormhole $325M · BNB Bridge $570M · Poly $611M · Nomad $190M · Multichain $126M(2023 逃亡)· Orbit Chain $81M(2024)· Wormhole は 2022.02 後に Jump Crypto が全額補填 + 2024 ZK Verifier で修正
  • Insurance 3 大プール:Nexus Mutual($120M capital · 主流ブリッジは cover available)· InsurAce($30M · 中小ブリッジをより深くカバー)· Sherlock(~$15M · audit + cover bundled · Hyperlane / LayerZero を一部カバー)
  • 2026 で真に保険可能なブリッジは ~6 個のみ(CCTP V2 · LayerZero v2 · Wormhole NTT · Across · Hyperlane · Axelar)· 大半のブリッジは規模が小さすぎるか trust model が複雑すぎて insurer に引受拒否される
  • 経路:クロスチェーン5 極対照マトリクス · CCTP V2 / CCIP / LayerZero v2 / Hyperlane / Wormhole の9 次元(general comparison)· クロスチェーン 4 極アーキテクチャ · LayerZero / CCIP / Wormhole / Hyperlane + CCTP V2 (architecture)· 本マトリクスは security + insurance 次元に特化

ウィキ上の位置づけ

この項目は システム基盤 配下に位置する。一般的な 9軸のブリッジ比較は クロスチェーン 5 極対照マトリクス と照合し、基礎となるアーキテクチャ分類は クロスチェーン 4 極アーキテクチャ概観 を参照する。プロトコル別の詳細は CCTP V2 概観・Circle USDC クロスチェーン burn-and-mint · CCTP V2 技術仕様 ・高速転送 ・フック ・認証サービス · Hyperlane 概観 · パーミッションレスなクロスチェーン相互運用性 · Hyperlane Interchain Security Modules(ISM)· プラガブルな検証レイヤー · LayerZero v2 · DVN 構成可能なオムニチェーン・メッセージングプロトコル · Chainlink CCIP · 機関級クロスチェーンメッセージング(SWIFT/DTCC メイントラック) を参照。これらの信頼モデルを横断する選定ロジックには クロスチェーン選定意思決定ツリー を使う。ブリッジの上位にある UX レイヤーは チェーン抽象モデル概観 と チェーン抽象の 3 大主流方式 と合わせて読む。ハック時系列を再構成するためのセキュリティ・フォレンジック手法は セキュリティ と スマートコントラクト bytecode フォレンジック — 三層 verify 技術 を参照。

このマトリクスが重要な理由クロスチェーンブリッジは 2021-2024 暗号エコシステムの単一最大の損失源 —— 累計被害 ≥ $2.7B · CEX hack 総計を大きく超える。機関資金が onchain finance に参入する(Chainlink CCIP · 機関級クロスチェーンメッセージング(SWIFT/DTCC メイントラック) における SWIFT / DTCC パイロット参照)前の重要ゲートは「ブリッジは保険可能か · 事故時に recover 可能か · trust model が risk committee の要求を満たすか」である。

ただしブリッジのセキュリティ全体像は protocol docs · Rekt leaderboard · L2Beat bridge risk · Nexus Mutual cover terms · 個別 audit firm レポートに分散しており —— 統一対照ビューが存在しない。本マトリクスは trust model · validator security budget · hack history · insurance coverage · audit firm · recovery process の 5 大次元を横展開し · institutional / DeFi ユーザーがブリッジ選定時に TVL や latency だけでなく · 「今日攻撃を受けた場合 · 私の $1M はどれだけ recover できるか · どのプロセスで」を見られるようにする。

マトリクスは 2026-Q2 状態を対照しており · 既に sunset した Multichain / Nomad / cBridge V1 等は含まない。Synapse と Connext は TVL の大幅減少により sunset 寸前だが参考として保持。

プロトコル別セクション

CCTP V2 (Circle)

信頼モデル:Native burn-mint · USDC は source chain で焼却 · Circle のオフチェーン attester が attestation を発行 · destination chain で再鋳造。Circle 中央集権 attester の単一信頼 · ただし OFAC + §501 コンプライアンス背書付き。Fast Transfer V2 8-20 秒 finality(V1 は 10-20 分)。

バリデータのセキュリティ予算:Circle 社自身の reputation + compliance moat · チェーン上経済 stake ではない。理論上 attester 秘密鍵が侵害されれば = 任意に USDC mint 可能 · しかし Circle はコントラクトを即時凍結可能(2022 Tornado Cash 制裁の実戦で凍結能力を検証)。

過去のハック:重大 incident なし(2023-06 ローンチから 2026-Q2 まで)。2024 で 1 回 attestation service の一時的 6 時間 outage(資金損失なし)。

保険:Circle 自身の SOC2 + reserve attestation(Deloitte 四半期 audit)。Nexus Mutual は USDC depeg cover を提供(CCTP 専用ではない)。Lloyd’s of London は Coincover 経由で一部 institutional 顧客の USDC 保有を間接カバー。

監査カバレッジ:OpenZeppelin · Halborn · ChainSecurity · 2025-Q4 SOC2 Type II 通過。

復旧プロセス:Circle は receiver アドレスを凍結可能 · source chain に返却。institutional 顧客は Circle Mint OTC チャネルで直接補償(2023 SVB 危機時の USDC depeg 後に backstop 能力を実証)。

Hyperlane

信頼モデル:Permissionless · ISM(Interchain Security Module)はアプリが自選 —— multisig(default)· EigenLayer restaking · ZK · optimistic · POS。各アプリが自身のセキュリティ tradeoff を設定(Hyperlane Interchain Security Modules(ISM)· プラガブルな検証レイヤー 参照)。

バリデータのセキュリティ予算:ISM 選択に依存。Default multisig ~ 10-of-15 オペレータ;EigenLayer-backed ISM は $1B+ ETH restake に達する(2026-Q2);ZK ISM のセキュリティは ZK proving system の前提に等価。

過去のハック:2024.07 Eclipse メインネットローンチから 2026-Q2 まで protocol-level incident なし。ただし individual app が ISM misconfigure で零細な損失あり(2024.11 long-tail アプリが 1-of-3 multisig 設定で攻撃を受け · 損失 $1.2M · Hyperlane の core 責任範囲外)。

保険:Sherlock は audit + cover bundle を提供(~$5M cover for core Hyperlane contracts)。Nexus Mutual は一部カバー(アプリ自身が申請要)。

監査カバレッジ:Trail of Bits · Zellic · OpenZeppelin · CertiK。2024-Q4 Cantina 公開コンテスト。

復旧プロセス:Permissionless ということは Hyperlane Foundation に強制 recovery 責任なし。アプリ自身がガバナンスを定義 · ISM アップグレードまたはオフチェーン OTC 協議で対応可能。Eclipse / Celestia 等の大手顧客は Foundation 調整。

LayerZero v2

信頼モデル:DVN(Decentralized Verifier Network)M-of-N · アプリ自身がカスタム集合を定義。Default 設定 = LayerZero Labs + Google Cloud + Polyhedra ZK の 3 社。Lightweight ULN(Ultra Light Node)が destination で検証(LayerZero v2 · DVN 構成可能なオムニチェーン・メッセージングプロトコル 参照)。

バリデータのセキュリティ予算:DVN 集合に依存。LayerZero Labs 自身は中央集権運営 · Google Cloud はエンタープライズ SLA · Polyhedra は ZK proof + economic stake。マルチ DVN 設定コストは N と共に増加。

過去のハック:2024.01 一時的 DVN 設定バグ · 資金損失なし(即時ロールバック)。2023 一度 Stargate(LayerZero 上層アプリ)バグ · 修正後損失なし。Protocol-level は 2022 ローンチから重大 incident なし。

保険:Nexus Mutual ~$15M cover available。Sherlock コンテスト複数回。InsurAce 中等カバー。Stargate(LayerZero 上の token bridge)は自身の insurance fund を保有(LP は 0.06% fee を insurance pool に納める)。

監査カバレッジ:Zellic · Trail of Bits · Spearbit · Code4rena 多回コンテスト。2024 ZRO token ローンチ前に Quantstamp + OpenZeppelin が再審査。

復旧プロセス:LayerZero Labs は提案可能だが強制アップグレードはしない。app-level recovery はアプリチームが決定。Stargate の過去 incident は insurance pool + LP haircut で解決。

Wormhole

信頼モデル:19-of-19 Guardian set マルチシグ(Jump Crypto · Everstake · Forbole · Chorus One · Staked.us · Figment · 等の機関ノード)。2024 に ZK Verifier を第二層 fail-safe として追加。NTT(Native Token Transfers)+ CCTP integration で USDC クロスチェーンは Circle attester を借用(クロスチェーン5 極対照マトリクス · CCTP V2 / CCIP / LayerZero v2 / Hyperlane / Wormhole の9 次元 参照)。

バリデータのセキュリティ予算:Guardian ノードは全て機関運営 · ただし明示的な経済 stake なし(2024 W token ローンチ後に slashing 議論開始)。理論上 13-of-19 collusion で任意 message に署名可能。

過去のハック:2022.02.02 Solana ブリッジで $325M 盗難(攻撃者が wormhole スマートコントラクトの signature verification bypass を利用 · 120,000 wETH を鋳造したが ETH を入金していない)· Jump Crypto が 24 時間以内に 120,000 ETH を全額補填 · ユーザー損失なし。これは暗号史上最大の単一 backstop の 1 つ。2024 ZK Verifier 稼働後にこのタイプの攻撃は暗号学的に防御。

保険:独立 cover なし · ただし W token treasury + Wormhole Foundation 保有 ~$200M が暗黙の backstop。Jump Crypto 2022 補填は先例とみなされる(ただし 2024 後に repeat 約束なし)。Nexus Mutual は歴史的に Wormhole 引受拒否(2022 hack 後)· 2024 ZK Verifier 後に一部 cover availability 回復。

監査カバレッジ:Trail of Bits · OtterSec · Halborn · Coinspect。NTT ローンチ前に複数回 audit。2024 ZK Verifier は Polyhedra が独立 audit。

復旧プロセス:2022 Jump Crypto 補填は ad hoc 決定。正式プロセスは Foundation + Guardian 投票で governance proposal を起動。institutional 顧客は Wormhole Foundation OTC を経由。

信頼モデル:Oracle DON(Decentralized Oracle Network · 通常 16-of-31)+ Risk Management Network(RMN · 独立した 2-of-N veto 委員会)。二層冗長設計 · institutional grade(Chainlink CCIP · 機関級クロスチェーンメッセージング(SWIFT/DTCC メイントラック) 参照)。

バリデータのセキュリティ予算:Chainlink LINK token staking(v0.2 ~$2B staked 2026-Q2)+ RMN 独立 client(異なるコードベース · ソフトウェアバグ防止)。RMN veto は任意の疑わしい message を凍結可能。

過去のハック:重大 incident なし(2023-07 メインネット稼働から 2026-Q2 まで)。CCIP v1.5 で 1 回 risk window false positive(資金損失なし · 遅延のみ)。

保険:Chainlink Foundation が LINK treasury を暗黙の backstop として保有。Nexus Mutual は ~$8M cover を提供。institutional 顧客(SWIFT / DTCC / J.P. Morgan Kinexys)は自身の risk team + Lloyd’s syndicate で自前 cover。

監査カバレッジ:Trail of Bits · CertiK · Sigma Prime · NCC Group。各 v アップグレードで独立 audit。

復旧プロセス:RMN は即時 veto 可能 · DON は lane を pause 可能。Chainlink Foundation が institutional 顧客 OTC 決済 を調整。

Across

信頼モデル:Optimistic · UMA Optimistic Oracle 検証。Relayer が destination 資金を先払い · 次に UMA 7200 秒 challenge window で source chain 担保を回収。Intent-based 設計(ユーザーが intent を提出 · relayer が入札)。

バリデータのセキュリティ予算:UMA OO bonding ~$50M 総 challenge pool · 単一 transaction の経済セキュリティは bonded amount に等しい。Relayer は自身の collateral を持ち込む。

過去のハック:protocol-level hack なし(2022 ローンチから 2026-Q2 まで)。2024 で 1 回 relayer バグがコミュニティに 5 分以内で識別され撤回。

保険:Sherlock は ~$3M cover を提供。Nexus Mutual 一部カバー。Across DAO は ACX treasury を emergency fund として保有。

監査カバレッジ:OpenZeppelin · Trail of Bits · Code4rena · Sherlock コンテスト。

復旧プロセス:challenge window 内 dispute · UMA 委員会が仲裁。challenge window 後はロールバック不可 · しかし relayer collateral は slash 可能。

Stargate (LayerZero)

信頼モデル:LayerZero v2 messaging + Stargate 固有の liquidity pool モデル(unified liquidity · 単一チェーンロックなし)に基づく。LayerZero v2 DVN trust 前提を継承。

バリデータのセキュリティ予算:LayerZero DVN + Stargate LP collateral(単一プール TVL $50M-500M)。

過去のハック:2023.03 で 1 回 transfer バグ損失 ~$0(即時修正)。2024 で 1 回 Curve スタイル read-only reentrancy が white hat に発見され修正(payout $500K)。大規模損失なし。

保険:Stargate は自前の insurance fund を持つ(LP fee 0.06% を pool に納める · ~$2M 残高 2026-Q2)。Nexus Mutual 一部カバー。

監査カバレッジ:Zellic · Trail of Bits · Spearbit · Code4rena 複数回。

復旧プロセス:Insurance fund が先に賠償 · 不足分は LP haircut。LayerZero Labs が messaging-layer アップグレードを調整。

Synapse

信頼モデル:Validator set ~ 10-of-15 マルチシグ(オペレータ全員は非公開)。Liquidity bridge モデル(AMM swap + cross-chain message)。2024-Q4 に optimistic モード追加だが採用率低い。

バリデータのセキュリティ予算:validator は自身の stake を持つが金額非公開。TVL は 2023 ピーク $400M から 2026-Q2 ~$30M に減少 · 攻撃面が縮小。

過去のハック:protocol-level hack なし · しかし 2024 で複数回 LP pool drain が oracle manipulation により損失累計 ~$3M。SYN token 価格はピークから -95% · 実際の経済セキュリティが大幅に縮小。

保険:独立 cover available なし(insurer は TVL 縮小 + ガバナンス不透明により引受拒否)。

監査カバレッジ:Quantstamp · Halborn(2022)。2025 以降の新 audit なし。

復旧プロセス:Synapse DAO ガバナンス · しかし quorum に達しないことが多い。実質 sunset 寸前状態。

Connext

信頼モデル:Optimistic Rollup スタイル fraud proof + Sequencer モデル。Routers(relayer 類似)が流動性を提供 · 7-day challenge window。「xCall」は chain-abstraction messaging API。

バリデータのセキュリティ予算:Router collateral(総 ~$10M 2026-Q2 · ピークより大きく低下)。Sequencer 中央集権化(Connext Inc.)。

過去のハック:protocol-level hack なし · しかし 2024-Q3 で 1 回 router inソルベンシー により $400K LP 損失(Connext Inc. が自前補填で解決)。

保険:Sherlock 初期 cover は期限切れ未更新。Nexus Mutual は引受拒否(ガバナンス不透明)。

監査カバレッジ:Spearbit · Code4rena(2023)。

復旧プロセス:challenge window 内 dispute · しかし実際にトリガーされることは稀。Connext Inc. が ad hoc recovery を主導。

Squid

信頼モデル:Axelar 上の swap router + cross-chain UX 層。基盤として Axelar validator set(75 ノード PoS)を継承。Squid 自身は messaging を担当せず · aggregator。

バリデータのセキュリティ予算:Axelar AXL staking ~$300M を借用(2026-Q2)。

過去のハック:protocol-level hack なし。1 回 frontend XSS 攻撃 2023 で ~$50K ユーザー影響(修正済)。

保険:独立 cover なし · Axelar 層リスクを借用。Squid は reserve を emergency として保有。

監査カバレッジ:Halborn · Spearbit。

復旧プロセス:Axelar ネットワークガバナンスに依存 · Squid チームが frontend 層 incident を調整。

Axelar

信頼モデル:75-validator PoS ネットワーク(CosmosSDK + Tendermint 基盤)· クロスチェーン message は 2/3 validator quorum 署名。General Message Passing(GMP)+ Interchain Token(ITS)モデル。

バリデータのセキュリティ予算:AXL token staking ~$300M(2026-Q2)。Validator set 公開 · Binance · Coinbase カストディ · Imperator · DSRV 等の機関ノードを含む。

過去のハック:protocol-level hack なし(2022 ローンチから 2026-Q2 まで)。2024 で 1 回 ITS 設定バグが white hat に発見 · payout $200K · ユーザー損失なし。

保険:Nexus Mutual ~$5M cover。InsurAce 中等カバー。Axelar Foundation treasury を backstop に。

監査カバレッジ:Trail of Bits · ChainSecurity · Code4rena · Cantina。

復旧プロセス:Axelar governance(AXL token ベース)· 2/3 validator 合意で lane を凍結またはロールバック可能。機関顧客は Foundation OTC を経由。

deBridge

信頼モデル:12 validator delegated PoS · Chainlink CCIP integration を fallback として。「DLN」(deBridge Liquidity Network)intent-based 決済 layer。

バリデータのセキュリティ予算:DBR token staking ~$80M(2026-Q2 推定)。

過去のハック:protocol-level hack なし。2022 で 1 回 Lazarus フィッシング攻撃 frontend(deBridge チームが警告)· 実際の損失なし。

保険:主流 insurer cover available なし。deBridge DAO treasury を emergency に。

監査カバレッジ:Zokyo · Halborn · Ackee Blockchain。

復旧プロセス:Validator quorum で message を pause 可能。DAO 投票で recovery を決定。

Symbiosis

信頼モデル:Relayer ネットワーク + threshold signature scheme(TSS)· 15-of-21 マルチシグ。Cross-chain swap aggregator 位置付け。

バリデータのセキュリティ予算:SIS token staking ~$15M(2026-Q2)。TVL ~$40M。

過去のハック:protocol-level hack なし。2023 で 1 回 frontend バグ影響 < $10K。

保険:cover available なし。

監査カバレッジ:Hacken · CertiK · Beosin。

復旧プロセス:Foundation 調整。

Allbridge

信頼モデル:Allbridge Classic(liquidity bridge · 2/3 multisig)+ Allbridge Core(stablecoin AMM · 各チェーン独立 LP)。2 つの製品ラインで trust 前提が異なる。

バリデータのセキュリティ予算:小規模 multisig · 総 TVL ~$20M(2026-Q2)。

過去のハック:2023.04.01 Allbridge Classic が flash loan 攻撃で $570K 損失(BSC 上の BUSD/USDT pool drain)。Hacker が後に 60% 返却(20% bounty)。Classic はそれ以来非推奨化。Core 製品ラインは incident なし。

保険:cover available なし。

監査カバレッジ:Hacken · SmartState(2022)。Core は Halborn が audit。

復旧プロセス:Foundation 調整 · Classic は既に freeze。

大型比較マトリクス表

14 プロトコルの公開セキュリティ境界対照。保険金額、監査済み範囲、事故の不存在、補償可能性は、各時点の契約と報告を確認せずに断定しない:

プロトコル 公開文書上の検証 / 制御境界 回復・停止面で確認する項目 導入側に残る責任
CCTP Circle attestation と source / destination contracts 対応ドメイン、finality threshold、attestation availability message 再利用防止、recipient、API / contract version
Hyperlane アプリが選ぶ ISM と Mailbox ISM / hook / validator の変更権限、relayer fallback 独立した validator、owner key、route 設定
LayerZero V2 OApp が構成する MessageLib、DVN、Endpoint send / receive config、delegate、library migration 複数 DVN、peer、confirmation、executor gas
Wormhole Guardian-signed VAA と統合先 contract core / token bridge upgrade、governance message、relayer fallback emitter / chain 検証、consistency level、replay protection
Chainlink CCIP CCIP network、risk-management controls、router / lane lane status、rate limit、token pool と receiver controls allowlist、receiver logic、token / lane support
Across relayer fill と UMA ベースの optimistic settlement dispute / settlement window、spoke / hub pool controls quote、fill deadline、recipient と chain support
Stargate LayerZero messaging と liquidity-pool contracts messaging config、pool / credit accounting、admin controls pool exposure、slippage、destination execution
Synapse bridge / messaging contracts と protocol-defined verification validator / admin / pause authority、contract version route、token representation、upgrade key の確認
Connext protocol contracts、routers / agents、採用する verification path route availability、dispute / upgrade controls router liquidity、slippage、destination call
Squid Axelar GMP と DEX / router integration Axelar gateway、route status、frontend / API dependency swap minimum、recipient、gas service と call data
Axelar validator network と gateway contracts gateway / ITS control、network governance、gas service destination contract、token manager、gas / replay handling
deBridge deBridge messaging / validator layer と DLN contracts order status、validator / contract upgrade、refund path order constraints、receiver、token approval
Symbiosis protocol contracts、relayer / MPC components、liquidity routing contract / relayer status、route and refund behavior slippage、recipient、token allowance、destination gas
Allbridge 製品別 bridge contracts、validator / relay、liquidity pools Classic / Core の区別、admin / pause、pool condition 使用製品、asset mapping、slippage と approvals

Sources: ^[https://developers.circle.com/stablecoins/docs/cctp-getting-started] ^[https://docs.hyperlane.xyz/] ^[https://docs.layerzero.network/v2] ^[https://docs.wormhole.com/] ^[https://docs.chain.link/ccip] ^[https://docs.across.to/] ^[https://stargateprotocol.gitbook.io/stargate/] ^[https://docs.synapseprotocol.com/] ^[https://docs.connext.network/] ^[https://docs.squidrouter.com/] ^[https://docs.axelar.dev/] ^[https://docs.debridge.finance/] ^[https://docs.symbiosis.finance/] ^[https://docs.allbridge.io/]

マトリクスの読み方:

  • 横方向で 1 プロトコルの 7 次元プロファイル · 縦方向で同一次元の 14 プロトコル差異を見る
  • Insurance availability は最も厳格な淘汰フィルタ —— 14 プロトコル中で主流 insurer の真の cover を持つのは ~6 個のみ · その他は自前 treasury の暗黙 backstop のみ
  • Hack-free track record ≠ 安全 —— Synapse / Connext は protocol-level hack なしだが経済セキュリティが既に引受困難なレベルに縮小
  • Trust model + validator security budget の組み合わせ が真の attack cost を決定 · Wormhole 19 Guardian は明示的 stake なしだが機関 reputation moat あり · LayerZero default DVN も同様に economic stake ではなくエンタープライズ SLA に依存

境界事例 / 今後の展望

Recovery process の 2 パラダイム:

  • Centralized backstop(CCTP V2 Circle / Wormhole Jump スタイル補填 / Connext Inc. ad hoc)—— recovery は速いが単一エンティティの reputation と資本に依存
  • Decentralized governance recovery(Axelar PoS validator 合意 / Hyperlane DAO / Across UMA dispute)—— recovery は遅いが検閲耐性あり · 真の非中央集権機関顧客(SWIFT / DTCC / J.P. Morgan Kinexys · CCIP 機関向けデフォルト · TradFi から DeFi へのデータブリッジの堀 参照)は centralized backstop を好み · DeFi-native ユーザーは decentralized governance を好む · one-size-fits-all は存在しない。

Insurance pool 容量ボトルネック:Nexus Mutual 全体 capital ~$120M · 全額をブリッジ cover に allocate しても $50B+ クロスチェーン TVL を引き受け不可。これは insurance が永遠に「tail risk top-up」に過ぎず · 主要 backstop は protocol treasury + foundation となることを意味する。Sherlock の「audit + cover bundle」モデルはインセンティブを変えようと試みているが · 2024-2025 で複数回索賠後に capital が逼迫。

2027-2028 トレンド:

  • ZK light client の普及により trust model が「validator set」から「math + DA」へ進化 —— Hyperlane ZK ISM · Wormhole ZK Verifier · LayerZero Polyhedra DVN が先行者(複数証明システム集約型 fault prover アーキテクチャ 参照)
  • Restaking-backed bridge security(EigenLayer / Symbiotic AVS モデル · EigenLayer 概観 · Restaking と Ethereum 暗号経済セキュリティのリース 参照)により validator set が ETH stake を借用可能 · ただし rehypothecation システミックリスクは未解
  • Native L2-to-L2 messaging(Optimism Superchain · Polygon AggLayer · Arbitrum Orbit cross-chain)により同一エコシステム内のブリッジが第三者 trust 不要に · 直接決済 layer を借用 · 長期的に汎用ブリッジ需要を侵食
  • Post-quantum bridge migration(耐量子署名 day-1 統合の経済学 参照)は 2030+ にすべてのブリッジに署名アルゴリズムアップグレードを要求 · 大半のブリッジは公開 roadmap なし

形式的検証:Hyperlane / LayerZero / Wormhole はいずれも formal spec を導入し始めたが(形式化仕様 ↔ 実装の co-design 参照)実際のカバレッジは < 30% codebase。CCIP は institutional-grade 形式検証を持つ少数派(NCC Group + Galois 共同 audit)。

真の保険可能 vs 名目上の保険可能:Nexus Mutual / InsurAce / Sherlock の cover terms では「smart contract failure」と「validator collusion」は別カバー · 大半のユーザーは前者しか購入しない · ただし過去 hack の 60%+ は後者。これは名目上の cover ≠ 真の支払いを意味し · ユーザーは policy を精読する必要がある。

関連項目

出典

#systems#matrix#bridge#security#insurance#hack-history

発見

続けて読む

関連

次に読む

ここへリンク