Verkle Trees 対 STARKs: Ethereum ステートレス検証への 2 つの究極のルートのうちどちらが優れているでしょうか?

Ethereumのネットワークは、データストレージと検証のニーズが高まるにつれて、ステートレス検証へと進化する可能性があります。共同創設者のVitalik Buterin氏は、この移行に向けてVerkleツリーとSTARKという2つのソリューションを提案しています。

どちらのアプローチでもブロック検証はより効率的かつアクセスしやすくなりますが、セキュリティ、効率、実装の複雑さに関してトレードオフがあります。

どのくらいの STARK は Verkle Trees の代替として

Ethereum 共同創設者であるヴィタリック・ブテリン氏が、 を公開した ネットワークの将来像を説明するブログ記事 ステートレス検証に焦点を当てている 今回の記事で完全な Ethereum 状態 Vergeの記事に触れながら、同氏は 当初 化を目指していた Ethereum プロトコルの効率 抑える 、検証に必要な計算負荷を 低く。 目標だと付け加えている 現在は SNARKsを用いてチェーンを検証することが

VerkleツリーとSTARKsはどちらも、 ブロック検証に必要な計算負荷を 低減担う要素の一つである Ethereumの未来を

Verkleツリーは、ノードがコンパクトな証明を生成することで Ethereum ブロックを検証することを可能にし、ノードが状態全体を保存する必要性を軽減します。しかし、将来的には量子コンピューティングにおいてVerkleツリーは潜在的な限界に直面する可能性があります。彼は、この複雑な技術はより現実的になり、Verkleツリーを完全に不要にできる可能性があると考えています。

一方、The Vergeには2つの主要な目標があります。1つ目は、 Ethereum トランザクションを検証するためにノードが保存する必要があるデータ量を削減することです。2つ目は、検証に必要な計算量を大幅に削減し、モバイルデバイスやスマートウォッチでもネットワークに参加できるようにすることです。

どちらの方法 Ethereum を採用するにせよ、その目的は増大する データ量。ブテリン氏は、「生の状態データは年間約30GB増加しており、個々のクライアントはトライ木を効率的に更新できるように、その上にいくらかの追加データを保存する必要がある」と述べている。

ステートレス検証を導入することでノードのセットアップを簡素化する方法

特に、 増大するにつれ 量が Ethereum、ステーキング参加者がノードをセットアップしたりアップグレードしたりすることが難しくなっています。 ため 、ブテリン氏は、 ます ノードがすべてのデータを保存せずにブロックを検証できるようにすることでこの問題を解決するステートレス検証を 。このプロセスでは、ノードは状態値と暗号学的証明を含む証拠を使用してブロックを検証できます。しかし、ステートレス検証を効率的に機能させるには、 Ethereumの現在のマークルパトリシアツリー構造を置き換える必要があります。なぜなら、現在の構造はコンパクトで検証しやすい証明を作成するのに理想的ではないからです。

にとってどちらの方法が良いのでしょうか EthereumEthereumEthereum EthereumEthereumEthereumEthereum EthereumEthereumの現在のアーキテクチャで実装しやすいという利点もあります。一方、STARKsは証明サイズが小さく（Verkleの2.6 MBに対し約100～300 kB）、証明時間が短縮される可能性があります。ただし、STARKsはより多くの計算能力を必要とし、 完全に統合されて には Ethereumのシステム

Ethereum 、ブロック検証だけでなく、他のアプリケーションにおいても、より高速かつ効率的になる必要があります。メモリプール、インクルージョンリスト、ライトクライアントなどが含まれます。これらのユースケースでは、アカウント残高やトランザクションの有効性といった項目を検証するために、膨大な数の証明が必要となると報告されています。そのため、STARK証明よりもシンプルなマークルブランチが使用される可能性があります。Buterin氏は、マークルブランチは更新可能であり、それが利点となる可能性があると述べています。

一方、 Ethereum 必要がある も 残りの作業に Ethereum。 また、 ステートレスへの移行は複雑であるため、移行プロセスもテストする必要がある。 さらに、 と報じられている などの新しいSTARK対応ハッシュ関数のセキュリティ分析も必要だ ポセイドン テストが十分に行われていない。SHA256 などの新しいハッシュ関数や証明システムのセキュリティ分析を実施することも重要なステップである。

Ethereum 耐量子 暗号

の3つのアルゴリズムには STARK 保守的な ハッシュ関数 トレードオフがある。Verkle 木は最も実用化が容易だが、量子耐性がなく、SNARKのような高度なシステムでは証明が難しいとButerin氏は説明する。

ハッシュベースのアプローチ（STARK）はノード間の同期時間を短縮できますが、この技術にはさらなる開発とセキュリティ分析が必要です。Verkleツリーは更新が容易（ メモリプール や包含リストに便利）ですが、特定の高度な暗号証明（SNARK）には扱いにくいという欠点があります。

これらのトレードオフに対処するため、ブテリンは として 量子耐性のある代替手段 それを 現在の Ethereum 構造に統合するのは複雑だろう。 別の選択肢としては、 を導入すること 挙げられる。つまり、多次元ガスによって、 EthereumEthereumEthereum EthereumEthereumEthereumEthereum EthereumEthereum 時間を増やすことができる 利用できる 。

への道は Ethereum ストレージの 負担

ブテリン氏のブログでは、EVMの妥当性証明が現在、セキュリティと 証明者 時間において課題を抱えていることも強調されています。 Ethereumのスケーラビリティと分散化の課題には、証明生成の課題への対処も伴います 、 現在 の 。EIP-4444では、クライアントのデータストレージ負荷を軽減するために、ステートレス検証と履歴の有効期限切れを実装することが提案されています。さらに妥当性証明は、速度と効率を向上させるために最適化が必要です。 ブテリン氏は、このプロセスを加速するために、並列化や の使用 。

The Vergeは の変革となる Ethereum。STARKへの対応は、PoSネットワークのスケーラビリティを確保するための他のいくつかのアップグレードにおいても重要になると報じられています。 ものの 、これらの技術の実装に伴うトレードオフも存在します。