【ゼットケーロールアップ】
ZK Rollup とは？
💡 数学の力で「正しい」を瞬時に証明する次世代ロールアップ
📌 このページのポイント
- ゼロ知識証明（ZKP）を使って、トランザクションの正しさを数学的に保証する
- Optimistic Rollupと違い、チャレンジ期間が不要なので出金がほぼ即座にできる
- zkSync、StarkNet、Polygon zkEVMなどが代表的なプロジェクト
- 証明の生成に高い計算コストがかかるが、技術の進歩で実用レベルに達しつつある
ひよこ ZK Rollupって、Optimistic Rollupと何が違うの？
ペンギン先生 大きな違いは「正しさの証明方法」だよ。Optimistic Rollupは「不正があったら後で指摘してね」という方式だけど、ZK Rollupは最初から数学的な証明を付けて提出するんだ。だから後から異議申し立てする必要がないよ
ひよこ 数学的な証明って、具体的にどういうこと？
ペンギン先生 ひよこ すごい！じゃあOptimistic Rollupより全部いいの？
ペンギン先生 理論上はそうなんだけど、実装がめちゃくちゃ難しいんだ。ゼロ知識証明を生成する計算コストも高い。それに、既存のEthereumのスマートコントラクトとの互換性を保つのも大変で、zkEVMの開発は各社がしのぎを削ってる状況だよ
ひよこ zkEVMって何？
ペンギン先生 ひよこ 将来的にはZK RollupがOptimistic Rollupに取って代わるの？
📖 おまけ：英語の意味
「Zero-Knowledge Rollup」 ＝ ゼロ知識ロールアップ
💬 ZKはZero-Knowledge（ゼロ知識）の略で、「中身を知らなくても正しさだけ証明できる」という暗号技術のことだよ