StarkWare PM Gal Ron へのインタビュー

イーサリアムのスケーリングは、間違いなく過去数か月で最もホットなトピックの 2022 つです。 XNUMX 年 XNUMX 月のプルーフ オブ ステーク コンセンサス アルゴリズムへのネットワークの移行は、多くの異なるスケーリング ソリューションを実装するための扉を開いたため、この点で大きなマイルストーンでした。

イーサリアムの開発者はネットワークをネイティブにスケーリングする方法に取り組んでいますが、レイヤー XNUMX ソリューションの力はまだ現れ始めたばかりです。

ゼロ知識証明などの概念は現在実用化されつつありますが、多くの人にとって、それらはまだ非常に異質なアイデアです。 イーサリアム スケーリングの将来について理解を深める手助けをしてくれるのは、まさにこれに主眼を置いている会社、StarkWare のプロダクト マネージャー兼ブロックチェーン研究者である Gal Ron です。

イーサリアムの問題

いくつかの詳細に入る前に、何を理解することが重要です イーサリアムのスケーリング 実際に意味します。 簡単に言えば、これはネットワークの処理能力を拡張して、各ノードがより高いトランザクション スループットを処理できるようにするプロセスです。

チェーンはその最も弱いリンクと同じくらい強力で強力であると規定するこのことわざがあります. これは、チェーン全体が失敗するためには、リンクの XNUMX つだけを切断する必要があるためです。 これはチェーンの強度も制限します。これは、他のすべてのリンクの強度に関係なく、最も弱いリンクが処理できる負荷しか処理できないためです。

同じことが、現在の状態のイーサリアムにも当てはまります。 これの必要性は、イーサリアムが「信頼」の要件を満たさなければならないという事実から来ています。

この問題について、ロンは次のように説明しています。

すべての信頼の仮定と信頼の要件を満たすには、すべてのノード (イーサリアム上) が同じことを行う必要があります。 定義上、これはシステムのスループットに制限を課します。これは、TPS またはブロック サイズを特定のしきい値よりも大きくすると、小さい (計算能力が低い) ノードが参加できなくなるためです。

本質的に、これによりイーサリアムは定義上、その容量が制限されます。

StarkWare のアプローチ: ZK プルーフとは?

Ron は、イーサリアムの制限の問題を処理するためのオプションがいくつかあると説明しています。 それらのXNUMXつは、何か他のものを発明することです。

しかし、スタークウェアは「イーサリアムからイーサリアムをスケーリングし、別のチェーンを作成しない」という別のアプローチをとっています。 彼らは StarkNet と StarkEx を通じてそうしているので、見てみましょう。

StarkNet は、「無許可の分散型有効性ロールアップであり、a としても知られています。 ZKロールアップ」 これは、イーサリアム上の L2 (レイヤー XNUMX) ネットワークとして機能し、分散型アプリケーション (dApp) が計算のために無制限のスケールを達成できるようにすることを目的としています。 StarkNet は STARK として知られる暗号証明システムに依存しているため、これはメイン レイヤーである Ethereum のセキュリティと構成可能性を犠牲にすることなく行われます。

ここで解き明かすべきことがたくさんあるので、ゼロ知識証明の概念から始めましょう。

「イーサリアムでは、すべてのノードがすべてのトランザクションを再実行する必要があります。 ZK (ゼロ知識) が登場する前は、他の誰かが計算を完全に実行したことを信頼する方法は他にありませんでした。 私が Ethereum 上のノードである場合、システムの状態がどうあるべきかという観点から、他のノードが私に報告している内容を確認できます。 彼らが実行したのと同じ計算を再実行する以外に、彼らを信頼する方法はありません。

ZK の魔法は、他のエンティティが行ったばかりの計算を再実行する必要なく、他のエンティティを信頼するという新しいパラダイムを作成することです。」 – ロンは言った.

本質的に、StarkNet のような ZK ロールアップは、イーサリアム上のノードが投入しなければならない計算作業の量を大幅に削減し、ネットワークのスループットを向上させます。

これらはすべて、メイン層のセキュリティを犠牲にすることなく行われます。 そうするために、StarkWare は ZK-STARK を発明しました。これにより、ブロックチェーンは計算を単一のオフチェーン STARK 証明者に移動し、オンチェーンの STARK Verifier を使用してそれらの計算の整合性を検証できます。

Gal Ron は、Prover と Sequencer の両方がどのように機能するかを説明しています。詳細については、上のビデオをご覧ください。

また、ロールアップとは何か、StarkEx とは何か、StarkWare の将来の計画は何かについても詳しく見ていきます。