TL;DR：
2020年にイーサリアムは「ロールアップ中心のイーサリアムロードマップ」を発表し、翌年ヴィタリック氏が出版した「エンドゲーム」に記載されたイーサリアムの最終像が**イーサリアムの全体像を決定づけました。ロールアップを提供するイーサリアムの基本層の。 **
イーサリアムは、データ可用性レイヤーとしてのイーサリアムの使いやすさを向上させるために、Danksharding のシャーディング テクノロジーを設計しました。これにより、L2 の取引手数料が大幅に削減され、Rollup の TPS が増加し、イーサリアムの大幅な拡張が実現します。
今年まで、イーサリアムのカンクン-デンクンのアップグレードは2024年3月13日についに開始され、EIP4844がオンラインになろうとしていますが、このハードフォークはイーサリアムのダンクシャーディング実装の第一歩と言えるロードマップの核心です。 **
DA層とは何か、Dankshardingの技術原理、EIP4844の内容については、昨年書いた技術記事「DA（Data Availability） 夏が来る？」を参照してください。
EIP4844 では、BLOB 搬送トランザクション** と呼ばれる新しいトランザクション タイプが導入されています。 ** BLOB を運ぶ各トランザクションは、BLOB のリストを「運ぶ」ことができます。 BLOB は、約 125 KB のデータ パケットです。 BLOB は短期間、つまり 4096 エポック (18 日強) のみ保存されます。
エンドユーザーにとって、**EthereumL2 が EIP4844 に適応された後は、トランザクション速度が速くなり、コストが低くなり、エクスペリエンスがよりスムーズになり、応答がより速くなります。これらの L2 には、より複雑で大規模な Dapp アプリケーションが存在することになります。 **
L2 はどのようにして EIP4844 に適応しますか?オプティミスティック ロールアップと ZK ロールアップについては個別に説明する必要があります。
オプティミスティック ロールアップでは、不正防止を使用してロールアップ実行の正確性を保証します。つまり、ノードは最初に状態遷移が正しいと信じることを選択し、指定された期間内に誰かが不正証明書を発行して、以前に提出された状態遷移が違法であることを証明しない限り、状態遷移は取り消されます。
オプティミスティック ロールアップは、ZK ロールアップよりも簡単に EIP4844 に適応できます。 Blob を運ぶトランザクションを通じてすべての L2 トランザクションを L1 に送信して、適応を完了します。さらに、EIP4844 に適合するように不正行為の証明を調整する必要がありますが、この部分はゆっくりと行うことができます。結局のところ、多くの楽観的なロールアップはまだ不正証明を開始していません。詐欺証明書をオンラインに掲載しましたが、2 年以上詐欺証明書が提出されていないことがわかりました。
L2 トランザクションの送信: ロールアップが送信されると、Blob 保持トランザクションを使用してロールアップ データが BLOB に保存されます。 BLOB を運ぶトランザクションのペイロードは rlp([tx_payload_body, blob, commits,proof]) です。
不正防止のための調整:
ZK ロールアップは ZKP を使用して、L2 状態遷移が正しいことを証明します。 EIP4844 への ZK ロールアップの適応は、オプティミスティック ロールアップよりも複雑です。
Morph の EIP-4844 zkEVM 統合ソリューションについては、以下を参照してください。
Optimistic ロールアップでは、Optimism と Arbitrum は EIP-4844 を採用するというコミットメントを表明しており、コミュニティと緊密に連携して必要な更新プログラムのテストと展開を行っています。 Arbitrum はステージ 1 のロールアップであり、比較的優れたセキュリティを備えています。これには、不正行為の証拠を EIP4844 に適合させる必要があります。オプティミスティック ロールアップはステージ 0 のロールアップです。現時点では不正行為の証拠はありません。適応は容易ですが、セキュリティは十分ではありません。
ZK ロールアップでは、STRAK と SNARK を使用したロールアップ適応の難易度が異なります。 STARK のロールアップを使用すると EIP4844 を適用するのが容易であり、Starknet は代表的なものの 1 つです。 Starknet は、カンクンがアップグレード後に EIP4844 適応を実装するという記事を公開しました (記事リンク)。 zkSync は、SNARK のロールアップを使用して、BLOB を運ぶトランザクションを活用してコストをさらに削減し、パフォーマンスを向上させる方法も模索しています。 Scroll は昨年、EIP4844 を適応させるアイデアを紹介する記事を公開しました (記事リンク)
最も印象的なのは、Optimistic ZK Rollup であり、zkEVM を EIP4844 に適合させるためのソリューションを最初にリリースした Morph です。**これは、EIP4844 を完成させた最初の zkEVM Rollup と言えます。 **
オプティミスティック ZK ロールアップは、両方のタイプのロールアップの利点を組み合わせたものです。 Sequencer によって送信された実行結果を楽観的に信じ、結果を疑う人がチャレンジを開始できるようにします。チャレンジが発行された場合にのみ、証明者は実行結果の正しさを証明するための ZKP を生成します。 **Optimistic ロールアップの効率性と、ZK で実証された ZK ロールアップの信頼性を備えています。 **
48k 人気度
23k 人気度
17k 人気度
74k 人気度
22k 人気度
カンクンのアップグレードが近づいていますが、主流の L2 はどのような適応を行っていますか?
TL;DR：
1. 背景
2020年にイーサリアムは「ロールアップ中心のイーサリアムロードマップ」を発表し、翌年ヴィタリック氏が出版した「エンドゲーム」に記載されたイーサリアムの最終像が**イーサリアムの全体像を決定づけました。ロールアップを提供するイーサリアムの基本層の。 **
イーサリアムは、データ可用性レイヤーとしてのイーサリアムの使いやすさを向上させるために、Danksharding のシャーディング テクノロジーを設計しました。これにより、L2 の取引手数料が大幅に削減され、Rollup の TPS が増加し、イーサリアムの大幅な拡張が実現します。
今年まで、イーサリアムのカンクン-デンクンのアップグレードは2024年3月13日についに開始され、EIP4844がオンラインになろうとしていますが、このハードフォークはイーサリアムのダンクシャーディング実装の第一歩と言えるロードマップの核心です。 **
**2. カンクンのアップグレードは L2 にどのようなメリットをもたらしますか? **
EIP4844 では、BLOB 搬送トランザクション** と呼ばれる新しいトランザクション タイプが導入されています。 ** BLOB を運ぶ各トランザクションは、BLOB のリストを「運ぶ」ことができます。 BLOB は、約 125 KB のデータ パケットです。 BLOB は短期間、つまり 4096 エポック (18 日強) のみ保存されます。
エンドユーザーにとって、**EthereumL2 が EIP4844 に適応された後は、トランザクション速度が速くなり、コストが低くなり、エクスペリエンスがよりスムーズになり、応答がより速くなります。これらの L2 には、より複雑で大規模な Dapp アプリケーションが存在することになります。 **
3. L2 はどのようにして EIP4844 に適応しますか?
L2 はどのようにして EIP4844 に適応しますか?オプティミスティック ロールアップと ZK ロールアップについては個別に説明する必要があります。
オプティミスティック ロールアップは EIP4844 に適応します
オプティミスティック ロールアップでは、不正防止を使用してロールアップ実行の正確性を保証します。つまり、ノードは最初に状態遷移が正しいと信じることを選択し、指定された期間内に誰かが不正証明書を発行して、以前に提出された状態遷移が違法であることを証明しない限り、状態遷移は取り消されます。
オプティミスティック ロールアップは、ZK ロールアップよりも簡単に EIP4844 に適応できます。 Blob を運ぶトランザクションを通じてすべての L2 トランザクションを L1 に送信して、適応を完了します。さらに、EIP4844 に適合するように不正行為の証明を調整する必要がありますが、この部分はゆっくりと行うことができます。結局のところ、多くの楽観的なロールアップはまだ不正証明を開始していません。詐欺証明書をオンラインに掲載しましたが、2 年以上詐欺証明書が提出されていないことがわかりました。
L2 トランザクションの送信: ロールアップが送信されると、Blob 保持トランザクションを使用してロールアップ データが BLOB に保存されます。 BLOB を運ぶトランザクションのペイロードは rlp([tx_payload_body, blob, commits,proof]) です。
不正防止のための調整:
ZK ロールアップは EIP4844 に適応します
ZK ロールアップは ZKP を使用して、L2 状態遷移が正しいことを証明します。 EIP4844 への ZK ロールアップの適応は、オプティミスティック ロールアップよりも複雑です。
**4. EIP4844 に適合する L2 はどれですか? **
Optimistic ロールアップでは、Optimism と Arbitrum は EIP-4844 を採用するというコミットメントを表明しており、コミュニティと緊密に連携して必要な更新プログラムのテストと展開を行っています。 Arbitrum はステージ 1 のロールアップであり、比較的優れたセキュリティを備えています。これには、不正行為の証拠を EIP4844 に適合させる必要があります。オプティミスティック ロールアップはステージ 0 のロールアップです。現時点では不正行為の証拠はありません。適応は容易ですが、セキュリティは十分ではありません。
ZK ロールアップでは、STRAK と SNARK を使用したロールアップ適応の難易度が異なります。 STARK のロールアップを使用すると EIP4844 を適用するのが容易であり、Starknet は代表的なものの 1 つです。 Starknet は、カンクンがアップグレード後に EIP4844 適応を実装するという記事を公開しました (記事リンク)。 zkSync は、SNARK のロールアップを使用して、BLOB を運ぶトランザクションを活用してコストをさらに削減し、パフォーマンスを向上させる方法も模索しています。 Scroll は昨年、EIP4844 を適応させるアイデアを紹介する記事を公開しました (記事リンク)
最も印象的なのは、Optimistic ZK Rollup であり、zkEVM を EIP4844 に適合させるためのソリューションを最初にリリースした Morph です。**これは、EIP4844 を完成させた最初の zkEVM Rollup と言えます。 **
オプティミスティック ZK ロールアップは、両方のタイプのロールアップの利点を組み合わせたものです。 Sequencer によって送信された実行結果を楽観的に信じ、結果を疑う人がチャレンジを開始できるようにします。チャレンジが発行された場合にのみ、証明者は実行結果の正しさを証明するための ZKP を生成します。 **Optimistic ロールアップの効率性と、ZK で実証された ZK ロールアップの信頼性を備えています。 **