ZKロールアップ

この証明は、トランザクションを再実行するよりはるかに安くメインチェーン上で検証できる。これがスケーリング効果のすべてだ。有効性が数学的に証明されているので、チャレンジ期間は要らず、出金は即座に行える。1週間待たされるオプティミスティック・ロールアップとはここが違う。

名前は半分ミスリーディングだ。ゼロ知識証明は本来、元のデータを明かさずに何かを証明する技術だが、ここでは主に圧縮の性質のために使われている。プライバシーは副産物で、活かされているとは限らない。証明の生成は計算的に重く、任意のスマートコントラクトをzk環境で動かすことが難所となってきた。