楽観的ロールアップはERPシステムに適応します。楽観的ロールアップは、ZKロールアップよりもEIP4844への適応が簡単です。適応は、すべてのL2トランザクションをBlob-carryingトランザクション経由でL1にサブミットすることで行うことができる。さらに、不正証明をEIP4844に適合させるだけであり、これはゆっくりと行うことができる。結局のところ、これまでのところ、楽観的なロールアップの多くはオンライン詐欺証明を行っていない。不正証明で稼動したものは、どれも2年以上提出されていないことがわかりました。
まず最初に、証明者と挑戦者は、不正証明のポイントを見つける必要があります。挑戦者は複数ラウンドのやり取りなどで争点を見つける必要があります。
その後、争点はL1に提出され、決定される。EIP4844を適応させるには、この争点のデータがあるBlobに保存されていることを証明する必要があるかもしれません。
Blobデータは約18日後に削除されるため、チャレンジ期間は削除される前でなければならず、これは現在の楽観的ロールアップによって満たされる。通常、チャレンジ期間は7日以内です。
ZK Rollups Adapt to EIP4844 ZKロールアップは、ZKPによってL2状態遷移が正しいことを証明するために使用されます。EIP4844へのロールアップ適応は、楽観的ロールアップよりも複雑です。
L2トランザクションの提出 :この楽観的ロールアップステップも同様です。
ZK証明コミット :適応前のZKロールアップと比較して、状態遷移のZKP証明を行うことに加えて、証明するプロセスが1つ増えます。すなわち、状態遷移証明の入力が正しいことを保証するために、ブロブコミットメントとトランザクションバッチが対応していることを証明することである。
類推:状態遷移のZK回路は、計算過程a + a = bの証明を生成する。(a=1,b=2)と(a=2,b=4)のときに生成されるZKPはどちらも合法である。だから私はまだ、その時に提供した入力が(a=1,b=2)であり、(a=2,b=4)ではないという証明を提供する必要がある。
EIP4844を適応する前は、データがCalldataに直接保存され、直接読み取ることができたので、入力が入れ替わらないことを保証するために、これは必要ありませんでした。EIP4844では、Blobデータは直接読み取れないため、これは新しい回路によってのみ実証できます。
この証明メカニズムは、STARK(Starknetなど)によるZKロールアップで実装する方が簡単です。その理由は、EIP4844のブロブコミットメントは楕円曲線BLS12-381を使用しますが、ETHのプリコンパイルされたコントラクトはBN254しかサポートしていません。カーブの違いにより、スマートコントラクトでブロブの完了証明を直接検証することが難しくなっています。
SNARKを搭載したzkEVM/zkVMは、ポイント2で述べた曲線の不一致によりZK証明を生成できないという問題を解決する必要があります。
イーサリアムがBLS12-381用のコンパイル済みコントラクトをサポートするのを待っています。長くなりそうだ。
証明に別のアプローチを取る。新しい回路を設計するには、コンパイル済みコントラクトでサポートされているBN254楕円曲線を使用する必要があります。これまでのところ、Morphがこのアプローチを取っているのを見てきた。
楽観的なロールアップは、EIP4844に適合させるのが比較的簡単です。
Arbitrumは3月14日にArb OS20のアップグレードを開始し、CancunアップグレードのEIP変更を実施します (記事へのリンク)。 アービトラムはステージ1ロールアップの一部であり、トランザクション送信と詐欺防止の両方にEIP4844を適応させる必要があり、そのセキュリティは比較的良好です。
オプティミズムは3月14日にエコトーンのアップグレードを開始し、適応を完了した (記事へのリンク)。 オプティミスティック・ロールアップが属するのはステージ0ロールアップであり、現在のところ詐欺防止にはなっておらず、適応は容易ですが、安全性は十分ではありません。適応が完了すれば、Opエコシステム内のすべてのスーパーチェーンネットワークもEIP-4844の恩恵を受けることになります。
STRAKとSNARKによるロールアップの適応の難しさは、ZKロールアップでは異なります。
EIP4844をSTARKロールアップで適応させるのは簡単で、スタークネットがその代表です。
Starknetは、CancunのアップグレードがEIP4844の適応を実装する という記事を公開しています(記事へのリンク)。
zkSyncはBoojumのアップグレードにより、zkSyncのSNARKからSTARK認証への移行を完了しました。これは、EIP4844アップグレードの準備でもあります。
SNARKでのロールアップへの対応は比較的複雑です
ポリゴンzkEVMは、EIP-4844に適応するFeijoaアップグレード で5月に稼動する予定です。EIP4844を適応させるというアイデアを記述した記事を発表した(記事へのリンク)。
最も印象的なのは、EIP4844 用のzkSNARK zkEVM適応を最初に発表したOptimistic ZK RollupであるMorphで、間違いなくzkSNARKを完成させた最初のロールアップです。EIP4844 用の zkSNARK zkEVM を完成させた最初のロールアップです (記事へのリンク)。 最適化 ZK ロールアップは、両方のロールアップの利点を兼ね備えています。シーケンサーから提出された実行結果を楽観的に信頼し、その結果に懐疑的な人がチャレンジを開始できるようにします。チャレンジが開始されたときだけ、証明者は実行結果の正しさを証明するZKPを生成する。これは、ZKロールアップのZK証明の信頼性と楽観的ロールアップの効率性を併せ持つ。