概要
ZKロールアップは、ゼロ知識証明を使用してオフチェーンのトランザクションを検証するロールアップで、高速なファイナリティと強力なセキュリティ保証を提供します。チャレンジ期間に依存する楽観的ロールアップとは異なり、ZKロールアップはすべてのトランザクションバッチが正しく実行されたことを証明する暗号的有効性証明を生成し、メインチェーンがそれを検証します。zkSyncとStarknetは主要なZKロールアップです。
仕組み
シーケンサーはトランザクションを収集し、実行し、結果の状態遷移が正しいことを証明する簡潔な証明（通常はSTARKまたはSNARK）を生成します。証明は圧縮された状態データとともにイーサリアムに投稿され、検証コントラクトがチェックします。証明が数学的に正しさを保証するため、不正なオペレーターが資金を盗むことはできず、証明が決済されると、長いフラウドプルーフウィンドウなしで引き出しが可能です。
重要性
ZKロールアップは、オフチェーン実行のスループットと、即時的で信頼最小化された決済を組み合わせます。しかし、証明システムの生成は計算コストが高く、オペレーターコストと、歴史的にユーザーあたりの手数料を押し上げてきました。証明技術が向上するにつれて、ZKロールアップはセキュリティを維持しながらスケーリングするための終盤戦略とますます見なされています。
関連概念
ZKロールアップは楽観的ロールアップの有効性証明対応物であり、その暗号コアとしてゼロ知識証明に依存します。それらはロールアップファミリーのL2スケーリングに適合し、資産移動のためにブリッジと対話します。