ZKロールアップとは

ゼロ知識証明は、「ある計算を正しく行った」という事実を、計算の中身を全部見せずに証明する技術です。ZKロールアップはこれを使い、数千件の取引を実行した結果が規則どおりであることを、短い証明1つにまとめてメインチェーンに提出します。

メインチェーン側は証明を検証するだけなので、取引を1件ずつ再実行する必要がありません。不正な結果は証明を作れないため、そもそも受理されません。異議申し立てを待つ期間が不要になり、メインチェーンへの出金が比較的短時間で確定します。

課題は証明を作る側のコストです。汎用的なスマートコントラクトの実行を証明可能な形にするには高度な実装が必要で、専用の計算機を使う運営者も出ています。技術的に動きが速い領域のため、各ネットワークの仕様は変わりうる点に注意してください。