---
title: "ZK ロールアップ"
description: "ZK ロールアップのバッチ、有効性証明、データ可用性、決済状態、手数料、出金、デプロイ固有のリスクを検証の観点から解説します。"
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# ZK ロールアップ

> 教育目的のみであり、投資、ブリッジ、セキュリティに関する助言ではありません。ZK ロールアップの信頼性は、証明対象プログラム、公開入力、データ可用性経路、コントラクト、運用者、ガバナンス、決済チェーンに左右されます。

<a id="answer"></a>

## 要点

ZK ロールアップ（より正確には有効性ロールアップ）は、決済チェーン外で取引を実行し、バッチ化してデータコミットメント、状態主張、有効性証明を同チェーンのコントラクトへ送ります。検証者は全取引を再実行せず、符号化された遷移規則への適合を確認します。公開と検証のコストを多数の取引で分担できます。

保証は限定的です。検証済み証明が裏付けるのは、デプロイ済みプログラムが符号化し公開入力が拘束する命題だけです。データ取得可能性、シーケンサーの稼働・公平性、決済ブロックのファイナリティ、ブリッジの正しさ、アップグレードの安全性は単独では証明しません。「ZK」もプライバシーを意味せず、多くのロールアップは取引や状態差分を公開します。

<a id="mechanism"></a>

## 仕組み

1. デプロイを特定します。L1/L2 チェーン ID、ロールアップとブリッジのコントラクト、検証者と鍵の版、証明対象プログラム、バッチ形式、DA モード、シーケンサー、証明者、管理者、停止権限、観測ブロックを固定します。スタック名だけでは保証を確定できません。
2. 順序付けと証明を分けます。シーケンサーはコミットメントや証明が L1 に届く前にレシートと L2 ブロックを生成できます。正確なバッチを記録し、順序付け済み、コミット済み、証明済み、受理済み、決済安全、決済確定、出金完了を区別します。
3. バッチを再構築します。必要な取引、状態差分、blob sidecar などを取得して順序とコミットメントを確認し、前後の状態ルート、出金・メッセージルート、公開入力を導出します。別のチェーン、バッチ、ルートに結び付く証明は別の命題を証明します。
4. 証明経路を検証します。決済取引が想定する証明、鍵、入力で正しい検証者を呼び、成功し、所定イベントを発行して正しいスロットを更新したか確認します。可能なら独立ソフトウェアで再現します。
5. データ可用性を別途監査します。Ethereum blob はプロトコル期間中の可用性とコミットメントを提供しますが、永久保存ではありません。外部委員会や代替 DA は独自の前提を加えます。証明が有効でも、状態再構築や退出に必要な欠損データは戻りません。
6. 入出金を端から端まで追跡します。正規トークンとメッセンジャー、金額、宛先、nonce、包含ルート、証明、確定規則、残高変化を照合します。高速ブリッジは別の価格、経路、取引相手リスクで流動性を前貸しするだけで、正規の時計を短縮しません。
7. 稼働性と制御を監視します。バッチ・証明の滞留、強制包含と脱出経路、証明者の多様性、アップグレード、タイムロック、ガーディアン、緊急モードを測ります。コントラクト、回路、鍵、DA、プロトコル変更後は再評価します。

<a id="example"></a>

## 計算例

- **圧縮。** 教材用バッチは `10,000 transactions`、生入力 `1,200 KB` を `300 KB` に圧縮します。比率は `1,200 / 300 = 4.0x`、削減率は `1 - 300 / 1,200 = 75%`、十進平均は `300,000 / 10,000 = 30 bytes/transaction` です。証明健全性、状態増加、保存性は測っていません。
- **費用配分。** 利用者は `3.0 ETH`、L1 データは `1.4 ETH`、検証は `0.4 ETH`、L2 実行は `0.2 ETH` です。残差は `3.0 - 1.4 - 0.4 - 0.2 = 1.0 ETH`、平均は `3.0 / 10,000 = 0.0003 ETH/transaction`。証明生成、機材、失敗、ブリッジ、資本、税を除くため純利益ではありません。
- **ライフサイクル。** `minute 0` にレシート、`minute 12` に L1 コミット、`minute 50` に証明受理、`minute 64` に確定方針を満たし、`minute 70` に正規出金を実行します。合計は `12 + 38 + 14 + 6 = 70 minutes`。それ以前は出金完了ではありません。

<a id="risks"></a>

## リスク

- チェーン、デプロイ、コントラクト、バッチ、ルート、検証者、鍵、回路の版違い。
- 不完全・誤ったプログラムを健全な証明系が忠実に証明すること。
- 公開入力、ドメイン、メッセージ、パラメーターの欠落や誤符号化。
- 検証者、プリコンパイル、ブリッジ、メッセンジャー、状態更新の脆弱性。
- セットアップ素材の侵害や暗号学的仮定の破綻。
- シーケンサーの検閲、並べ替え、矛盾、停止、公開遅延。
- 証明者の停止、集中、検閲、能力不足、滞留増加。
- 取引、状態差分、blob sidecar の欠損、異常、未保存。
- コミットメントや委員会署名を現在の取得可能性と誤認。
- L1 再編や未安全な決済取引への早すぎる依存。
- 特権アップグレード、短いロック、検証者交換、停止、緊急迂回。
- 強制包含、復旧、脱出経路の不在、無効化、利用不能。
- 正規ブリッジ、トークン対応、リプレイ、メッセージ、出金証明の障害。
- 高速ブリッジの流動性、価格、経路、債務超過、取引相手リスク。
- L1 データ、証明、ブリッジ、混雑、失敗費用を省く見積り。
- あるロールアップの EVM 互換性、確定性、プライバシー、安全性を他へ適用。

<a id="misconceptions"></a>

## よくある誤解

- すべての ZK ロールアップが金額、アドレス、アプリ活動を隠す。
- 有効な証明がデータ可用性と状態再構築を保証する。
- シーケンサーレシートは L1 受理証明や確定出金と同じである。
- 有効性証明がシーケンサー、証明者、統治、更新、ブリッジのリスクをなくす。
- 最安・最速の証明系が自動的に最も安全な結果を生む。

<a id="related"></a>

## 関連トピック

- [有効性証明](/ja/crypto/validity-proof/)
- [データ可用性](/ja/crypto/data-availability/)
- [レイヤー 2](/ja/crypto/layer2/)
- [ロールアップ](/ja/crypto/rollup/)
- [ゼロ知識証明](/ja/crypto/zero-knowledge-proof/)

<a id="sources"></a>

## 出典

- [Zero-knowledge rollups](https://ethereum.org/developers/docs/scaling/zk-rollups/) - Ethereum.org（参照日: 2026-08-22）
- [Zero-knowledge proofs](https://ethereum.org/zero-knowledge-proofs/) - Ethereum.org（参照日: 2026-08-22）
- [EIP-4844: Shard Blob Transactions](https://eips.ethereum.org/EIPS/eip-4844) - Ethereum Improvement Proposals（参照日: 2026-08-22）
- [Rollup Process](https://docs.scroll.io/en/technology/chain/rollup/) - Scroll Documentation（参照日: 2026-08-22）
- [Data availability](https://docs.starknet.io/learn/protocol/data-availability) - Starknet Documentation（参照日: 2026-08-22）

Source: https://wiki.fcontext.com/ja/crypto/zk-rollup/index.mdx