EIP-4844 の後、StarkNet の料金は 100 分の 1 に減額されましたか?しかし、物事はそれほど単純ではないことがわかりました
- PHPz転載
- 2024-04-18 17:40:01477ブラウズ
はじめに
EIP-4844 は、マージ後のイーサリアムの最大のアップグレードとして、ネットワーク全体から十分な注目を集めています。このアップグレードで導入された Blob 一時ストレージ スペースは、イーサリアム トレインに側面に取り付けられた車両を追加することに相当し、トレインの元の運行状態に影響を与えることなく、より安価なデータ可用性スペースを提供します。
Optimism、StarkNet、Arbitrum などのレイヤー 2 ネットワークはすべて、短期間で EIP-4844 をサポートし、大幅な料金削減を実現しました。以下は、LXDAO 財務省が貢献者に賃金を支払う取引です。楽観視すると、実際には前後のガソリン代が100倍も違いました。
しかし、うれしい驚きと同時に、ZK Rollup の代表格である StarkNet も過去にガス消費量で驚くべき料金削減効果を達成していることがわかりました。常に1ドルの水準を超えていましたが、0.01ドルまで下落しました。
さらに詳細な技術原則を知りたい場合は、MyFirstLayer2 に入って学習してください。
注: MyFirstLayer2 は、イーサリアム財団によって支援され、LXDAO によって開始された Web3 教育プロジェクトであり、テキスト、画像、アニメーション、インタラクションなどのさまざまな魅力的な教育方法を通じて初心者を支援することを目的としています。レイヤ 2 の開発の歴史と基本概念。
StarkNet の手数料引き下げが驚くべき理由は何ですか?
OP ロールアップと ZK ロールアップには、ストレージ スペースのレイヤーに対する要件が異なります。
OP ロールアップと ZK ロールアップには DA コストがあるため (データの可用性: データ ストレージと配信サービスを含むデータの可用性。第三者が取得したいデータを取得できるようにするため）、信頼度は異なります。
OP Rollup は、ユーザーの署名やその他の情報を含む、最近のトランザクションのすべての詳細をパッケージ化して圧縮し、それらをすべて第 1 層ネットワークにアップロードします。第 1 層ネットワークではあまり多くの検証タスクは必要なく、ほぼすべてのコストは第 1 層ネットワークのストレージ スペースにかかります。対照的に、
ZK Rollup はデータの圧縮率が高くなります。たとえば、ユーザーの署名データを放棄し、ゼロ知識証明に依存してトランザクションが合法であることを確認できます。また、すべてのトランザクションの詳細をパッケージ化する必要はなく、ステータスの変更のみがパッケージ化されてアップロードされます。
たとえば、第 2 層ネットワークでは、100 人のユーザーが USDC / USDT 取引ペアで取引を行います。そのたびに、取引ユーザーとスワップ契約の USDC および USDC 残高が変化します。 OP ロールアップの場合、200 アカウントの 100 件のトランザクションと 400 件の残高変更です。ZK ロールアップの場合、ユーザー残高の変更に関する大きな違いはありませんが、スワップ契約の場合、USDC および USDT 残高の合計 200 件の変更を圧縮できます。最終的なバランスが 2 つの変更に分割され、データ量が大幅に削減されます。
ZK Rollup は、ZK Proof によって消費される追加の Gas を検証します
2 つの違いを理解すると、一般に ZK Rollup の Gas 料金が安くなるという第一印象を持つかもしれませんが、実際の使用後は学生は全員、StarkNet や ZkSync などの ZK ロールアップの L2 のコストが、OP ロールアップのコストよりも大幅に高いことが多いことを知っておく必要があります。特に、StarkNet の STARK テクノロジー ルートは、各 L2 ルートの ZK プルーフよりも大きいです。コストはランキングの最下位にあることがよくあります。
ZK Rollup がオンラインになってすぐに OP Rollup に勝てなかった理由は非常に単純です。トランザクション データの圧縮率は ZK Rollup の方が高いにもかかわらず、これによりコストが節約され、データを 1 つの層に送信するコストが削減されますが、最初の層のネットワーク上でゼロ知識証明の正当性を検証する必要があるため、計算コストが増加します。
Blob はストレージ部分のコストを削減するだけで、計算部分には役立たないため、ZK Rollup が EIP-4844 から得られるメリットはさらに少なく、StarkNet が下位からランク付けされていることがわかります。 「成績下位の生徒」がクラスの 1 位や 2 位の生徒と同じレベルにまで進歩したとしても驚かないわけにはいきません。
StarkNet 料金の調査
ZK ロールアップのメカニズムは、メイン ネットワークにデータをパッケージ化するコストなど、OP ロールアップのメカニズムよりもはるかに複雑であると言わざるを得ません。 Optimism:Batcher 契約によるアップグレードの前後で、取引手数料が 2 桁下がった理由は誰もが完全に理解できます。
青いテキストをクリックして詳細をご覧ください:
アップグレード前の最後の古いバッチ。
アップグレード後の最初の新しいバッチ (Blob 料金を含む、合計 0.0011 ETH):
6 BLOB のコスト (合計 0.00078 ETH)
しかし、StarkNet ガス料金を探索する過程で、著者はかなりの困難を経験し、探索のプロセス自体も非常に啓発的です。
消えた L1DA
私たちは Optimism の料金削減の秘密を探った経験があるので、StarkNet がメイン ネットワークにデータを送信した契約だけを見つければよいと当然考えました。この重要な契約は必ず見つけなければなりません。かつては Etherscan のガス消費リストに載っていましたが、Blob に適応されていない Scroll を見つけるのは難しくありませんが、今でもトップに位置しています。
StarkNet キーワードを検索すると、Operator、Core Contract、Memory Page Fact Registry の 3 つの関連コントラクトが見つかりますが、3 番目はストレージに関連しているようです。契約は約2年前に打ち切られた。
したがって、オペレーターがコア コントラクトと常に対話し、最新のステータスを常に更新していることがわかります。
そして、適応 BLOB の前と後ろに目を向けると、Operator の Update State トランザクションが確かにアップグレードされていることがわかりますが、それは単なるハッシュを指しているだけです。別のパケット。その後の updateStateKzgDA でもより多くの Gas を消費しますが、これでは StarkNet の料金引き下げの理由をまったく説明できません。
- OP Rollup は、実際には、各トランザクションを圧縮してパッケージ化し、それを第 1 層のネットワークにアップロードする単純かつ粗雑な方法です。その後、他の人が解凍して第 2 層の小さなデータを取得できます。各トランザクションを再生して、トランザクションが正しく実行されたかどうかを確認するための台帳の完全なビュー。
- ZK ロールアップでは、すべてのトランザクションの詳細をアップロードする必要はありません。アップロードできるのは状態の差分 (各バッチの状態変更部分) だけです。ゼロ知識証明は、次のことを保証するために使用されます。すべてのトランザクションはレイヤー 2 が正しく実装されています。複数の状態変更の結果を再生することで、第 2 層の小規模台帳の全体像を復元できる人もいます。
SHARP System
幸いなことに、@0xYandhii と話し合った後、新たな夜明けが訪れました。一般的なメインネットの立ち上げ前、StarkNet の最初の製品は実際には分散型デリバティブ取引所 DYDX を含む StarkEX でした。その時代の製品です。メインネットがオンラインになった後も、元の製品は放棄されず、代わりに検証システムをメインネットと共有しました。
つまり、SHARP: Shared Proving and Verifying System、そして SHARP Blockchain Writer や Starkware: SHARP Verifier などの関連契約を見つけました。
ブロック ブラウザを開いて関連トランザクションをクエリすると、SHARP Blockchain Writer が次の 4 種類の操作を実行したことがわかります:
-
Verify Merkle: Verify Merkle Tree
FRI の確認: Fast Reed-Solomon Interactive Oracle Proof of Proximity。データ自体の内容を明らかにすることなく、送信されたデータまたは計算結果が特定のルールや制約に従っていることを確認するために使用されます。
連続メモリ ページの登録: 1 サイクルで 100 回以上アップロードされ、第 1 層ネットワークにデータを書き込む部分であると思われる連続メモリ領域が登録されます。
検証と登録: 1 サイクルに 1 回、速い場合は 10 分、遅い場合は 1 ～ 2 時間のバッチに十分なトランザクションを蓄積するのに十分なはずです。検証。
ステップ 1、2、および 4 がゼロ知識証明に関連するステップであり、メモリ空間を登録する 3 番目のステップがデータを書き込むステップであることを理解するのは難しくありません。 network の層に、State diff を保存する可能性が最も高い場所です。
これら 3 つの検証ステップのコストは BLOB アップグレードの前後で大きく変わっていない、と推測するのが合理的であり、3 番目のステップのコストは 2 桁のコスト削減効果を説明できるはずです。 StarkNetの前後。
そこで、作者はブロック ブラウザの閲覧を続け、EIP-4844 以前の最後から 2 番目の古いバージョン、最後から 2 番目のバージョン、アップグレード後の最新バージョンの 3 つの期間のそれぞれから 1 回の検証サイクルを取得し、カウントしました。 4 ステップで消費するガスの量はどれくらいですか?
結果は次のとおりで、人々は首をかしげます。
メモリのコストは半分に低下しましたが、ZK Proof 検証プロセスの全ラウンドにおけるコストの割合から判断すると、このレベルの DA の低下では説明がつきません。問題。
この時点で、探索はほぼ終わりに近づいています。著者は、トリソララン世界の大型粒子衝突器の前に座っている物理学者のような気分です。そして、すべての脳細胞が「これは意味がありません!」と叫んでいます。 StarkNet コミュニティに質問を投稿するために行ったこともありましたが、おそらく質問が複雑すぎたためか、英語コミュニティでは誰も回答しませんでした。
SHARP System Gas Used Exploration
この時点で、以前にダウンロードしたトランザクション データの CSV には、Gas 手数料によって消費された ETH のみが残されており、情報はありません。ガスリミットなど、ガス単価の変動による統計への影響は除外できません。そこで、作成者は、関係する各トランザクションによって実際に消費された Gas Used (Gaslimit の使用済み部分) をカウントするスクリプトを作成しました。
ついに光が現れました！アップグレード前は、メモリ領域を登録するトランザクションが実際には 2 つのグループに分けて送信されていたことがわかります。1 つのガスのコストは最低 50,000 ガスでしたが、もう 1 つのガスのコストは通常約 300,000 ガスでした。
#アップグレード後、登録されているほぼすべてのメモリ トランザクションは 50,000 個の低消費トランザクションになりました。
前回の奇妙な結論は、おそらく採取したサンプルが少なすぎたことが原因でした。アップグレード後の検証サイクル中に、偶然、大規模なセグメントに追いついたことが原因でした。この期間中、メインネットの Gas が急増し、長時間継続した数百件の Register Continuous Memory Page トランザクションにより高い Gas コストが発生し、統計結果が歪められました。
このアイデアに従って、今回はより合理的な 3 つの瞬間の Gas Used データを再編成しました。この時点で、アップグレード後にメモリ ページのサイズが実際に大幅に削減されたことが確認できます。アップグレード後に、この部分のデータが転送された状態差分データが保存される場所になります。ブロブに。
そして、l2beat.com で StarkNet の技術図を見つけました。予想どおり、ステートの差分が確かにメモリ ページに保存されていることがわかります。
最終的に、Gas Used の数に基づく計算 (現在ランダムに選択された小さなサンプル サイズに基づく大まかな推定) に基づくと、StarkNet の L1DA の実際のコストは約 4 ～ 10 倍削減されます。わずかに小さい。これは理論上の推論とも一致しています。EIP-4844 アップグレードでは、ZK ロールアップは OP ロールアップほどのメリットを得ません。
まとめ
上記の調査を経て、StarNet の料金引き下げの理由と範囲が最終的に明らかになりましたが、その結論はまだ少し考えさせられます。
L1DA のコストは大幅に低下しましたが、2 桁の低下を説明することはできません
StarNet がステータス変更の各バッチのデータをレイヤーに書き込んでいたことは明らかですデータのこの部分は BLOB に配置されるため、メモリ空間を登録する際のコスト削減効果は 1 桁未満になる可能性があります。
しかし、StarkNet は最下位か最後から 2 番目の地位から、相対的な進歩という点では、すべての OP ロールアップを上回るレベルにまでなりました。したがって、明らかにそれは不可能です。
となると、唯一合理的な説明は、「ハートハート」の価格が以前は確かに高すぎたということです。 STRK トークンの発行前に、StarkNet のすべての開発およびコミュニティ インセンティブには資金が必要であり、投資家の資金を浪費することに加えて、開発を維持するための方法の 1 つとして、L2 L1 ガスの価格差を設定することが考えられます。これは、以前の StarNet の恥ずかしいガスを引き起こしました。請求状況。
STRK トークンの発行によって十分な流動性と環境に優しいインセンティブがもたらされたので、この一連の Blob アップグレードの波を利用して、Gas を妥当なレベルに戻す時期が来ました。土嚢は一緒に削除され、料金削減効果には多くの人が本当に驚きました。
ZK の OP
OP Rollup は、イーサリアム メイン ネットワーク上の Calldata に元々保存されていたデータをアップグレードして一時ストレージ領域に転送した後、実際にはセキュリティを少し犠牲にします。
以前は、Calldata スペース内のデータは永続的に保存されていました。つまり、OP L2 上のすべての現在の状態を復元するのに十分なデータを誰でも Ethereum メイン ネットワークから取得できました。
ただし、アップグレード後、BLOB データは期限切れになります。ネットワーク全体で過去の BLOB データを保存しているエンティティが存在しない場合、OP L2 の履歴トランザクション レコードが失われる可能性があります。最新のレイヤー 2 ネットワーク状態は引き続き保護できますが、BLOB の保存期間は OP の 7 ～ 14 日間のチャレンジ期間を超えているため、各 BLOB の有効期限が切れる前に、対応するレイヤー 2 状態 (最新の 10 日間) は依然として信頼できます。のトランザクション レコードが OP L2 のセキュリティをローリング ベースで維持します。
ZK ロールアップ Blob の利点を享受したい場合は、重要な第 2 層ステータス データを永続的な Calldata スペースから Blob スペースに転送する必要もあります。これは、一定期間が経過すると、以前のように第 2 層ネットワークのステータスを再生するために第 1 層ネットワークによって提供されるデータに依存できなくなることを意味します。
おそらく、これが新たな常態となるでしょう。将来的には、すべての 2 層ネットワークが最新のセキュリティ状態を維持するために BLOB に依存することになり、各 L2 も、BLOB の可用性を解決する独自の方法を見つける必要があります。これにより、安全性と効率性のバランスが向上します。
OP と ZK の統合トレンド
過去には、OP ロールアップの第 1 世代が最初にオンラインになりましたが、ZK ロールアップの第 1 世代は、その後、より競争力のあるガス料金を提供しませんでした。オンラインになりました。その後のOP StackやPolygon SDKの登場によるモジュール化の流れを受けて、OP Stackでも将来的にはZKテクノロジーを導入してチャレンジ期間を短縮する予定です。
これは間違いなく、OP と ZK の 2 つの技術的なルートが生死を賭けた競争ではなく、互いに学び、融合する傾向があるという事実を示しています。 「質素で粗野」に転じた「高貴な」ZK「一度覚えたOP。
第二層ネットワークの技術がたった2、3年でここまで進化したとは考えにくいのが、ブロックチェーンの世界の魅力なのかもしれません。
参考:
[1] FeedTheFed。EIP4844[EB/OL] によるデータの可用性 (2024-02-11)[2024-04 -] 16]。https://community.starknet.io/t/data-availability-with-eip4844/113065.
[2] Starknet 研究チーム。 [2024-04-16] https://l2beat.com/scaling/projects/starknet?selectedChart=activity#contracts.
以上がEIP-4844 の後、StarkNet の料金は 100 分の 1 に減額されましたか?しかし、物事はそれほど単純ではないことがわかりましたの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。