複数証明システム集約型 fault prover アーキテクチャ
確度確定更新2026-05-26要再確認2026-09-22出典3機械翻訳
ウィキ上の位置づけ
この項目は システム基盤 配下に位置する。ピア比較・対照の文脈は Pectra EIP-7691 · blob 倍増と L2 経済連鎖 と照合し、より広いシステム上・規制上の境界は フィンテック を参照する。
関連項目
- Wiki Index
- BFT Rust 実装
- 耐量子 day-1
- 形式仕様 co-design
出典
- Optimism「Fault proofs explainer」(modular multi-proof system の基盤) — https://docs.optimism.io/op-stack/fault-proofs/explainer
- OP Stack Fault Proof 仕様(Program / VM / Interactive Dispute Game) — https://specs.optimism.io/fault-proof/index.html
- ethereum-optimism/optimism モノレポ(op-challenger / fault-proof 実装) — https://github.com/ethereum-optimism/optimism
#systems#rollup#fault-proof#zk#tee#optimistic
発見
続けて読む
次に読む
- Pectra EIP-7251 · 機関ステーキング経済との親和化(2048 ETH 上限)Ethereum コンセンサスプロトコルは元々、単一バリデータあたり最大 32 ETH という設計だった。これは「分散化優先」のためであり、家庭ユーザーが 32 ETH で参加できるようにするためでもある。だがその代償として、大規模ステーキング業者は数千から数万の独立したバリデータを運用する必要があった。Lido は数万、Coinbase Cloud は 1 万超、Binanc...
- Ethereum Pectra アップグレード · 4 EIP デュアルトラック戦略総覧Pectra は実行層とコンセンサス層を同時に改造する。EIP-7702 により、9000 万 存量 EOA はアドレス変更なしで batch / gasless / session key を獲得できる。これは ERC-4337 とは別の存量改造経路である。EIP-7251 により、大規模ステーキング業者(Lido / Coinbase Cloud / Binance)は 1...
- Polkadot XCM · parachain messaging v3-v4トレードオフは明確である。Polkadot は より強い一様な security を提供するが、sovereignty は小さい。Cosmos / IBC は 最大限の sovereignty を提供するが、各 chain が自らの security を引き受ける(EigenLayer は Ethereum 側でこの差を埋めようとしている)。
ここへリンク
- クロスチェーンブリッジセキュリティ・保険マトリクス 2026 · 14 プロトコルの信頼モデル / ハック履歴 / カバレッジ全景ただしブリッジのセキュリティ全体像は protocol docs · Rekt leaderboard · L2Beat bridge risk · Nexus Mutual cover terms · 個別 audit firm レポートに分散しており —— 統一対照ビューが存在しない。本マトリクスは trust model · validator security budg...
- ZK-EVM Rollup 成熟度対照マトリクス 2026 · 9 個の rollup の証明システム / TVL / DA / 分散化ZK-EVM rollup は 2023-2025 年に集中的にメインネット稼働した後、「技術路線争い」から「EVM等価性 vs 証明コスト vs 分散化 vs エコシステム traction」の多目的最適化空間へ進化した。開発者がどの ZK rollup に deploy するかを選ぶ際、6-8 個の候補(各々が「最も EVM-equivalent · 最速 · 最安」と主張...