zkEVMの攻撃！ 暗号通貨の 10 倍の瞬間 – コインテレグラフ マガジン

したがって、基本的に ZK ロールアップでは、EVM との完全な互換性とスケーリングのどちらかを選択する必要があります。 完全な互換性により、DApps とプロトコルをシームレスに移植でき、すべてが開発者とユーザーにとって Ethereum とまったく同じように機能しますが、スケーリングの観点からは、明らかに速い方が良い.

Newcomb は、StarkWare のソリューションがスケールを向上させることを認めていますが、アクセシビリティを犠牲にするということは、「採用摩擦」のために、イーサリアムの基本的な部分であるよりも、特注のエンタープライズ アプリケーションに適していることを意味すると述べています。

「これらは EVM と互換性がないため、移植するのは非常に困難です。 移植に XNUMX か月かかるプロジェクトも見てきました。」

互換性がありますが、エレガントではありません

合意された定義はありませんが、「EVM と同等」は通常「EVM とまったく同じ」を意味するため、既存のスマート コントラクトを変更せずにソリューションにデプロイできます。

スクロールは同等であることが広く認められていますが、まだ適切なテストネット上になく、比較的少ない予算で他のものより何ヶ月も遅れています. Polygon の zkEVM ソリューションは同等であると主張しています (ただし、これには異議があります)。一方、zkSync は EVM と互換性があります。つまり、ほとんど同じですが、ソリューションをより適切に機能させるための設計上の選択により、いくつかのことが機能しない可能性があります。

ポリゴン 月曜日に zkEVM パブリック テストネットを開始しました。 Polygon だけでなく、業界全体にとって画期的なマイルストーンです。」 Polygon は、テストネットには「完全にオープンソースの zk-Prover が含まれています。この種のものとしては初めて公開されたものです」と述べています。

共同創設者の Mihailo Bjelic は Magazine に、初期のテストでは、「Polygon の zkEVM は、イーサリアムのネットワーク料金を約 90% 削減し、ネットワークのスループットを数桁増加させることができる」と語っています。

彼は、テクノロジーをオープンソース化することで、「業界の精神との整合性を証明し、ソリューションのセキュリティを向上させることができます。これは、誰もがそれを確認して潜在的なバグを指摘できるからです. これは、少なくとも今のところ、実装の重要な部分をクローズド ソースにしている StarkNet や zkSync には当てはまりません。」

テクニカルビット

Scroll の Luozhu Zhang 氏によると、zkEVM には、バイトコード レベル、言語レベル、およびコンセンサス レベルの XNUMX つの潜在的なタイプがあります。 zkSync と StarkWare は言語レベルであり、コンパイラまたはトランスパイラーの手順が必要ですが、Scroll と Polygon はバイトコード レベルのアプローチです。 人間が読める形式のバイトコードはオペコードと呼ばれます。

Bjelic 氏は、Polygon のソリューションは EVM と同等になるように設計されているのに対し、次のように述べています。

「StarkNet や zkSync のようなプロジェクトは別の道を歩んでいます。彼らは独自のカスタム仮想マシンを持っており、EVM の上に構築された最も人気のある言語である Solidity を、これらの仮想マシンが解釈できる言語にトランスパイルしようとしています」と彼は言います。

「このアプローチには 100 つの大きな課題があります。(i) Solidity スマート コントラクトを XNUMX% サポートするトランスパイラーを構築することは困難であり、(ii) トランスパイラーを持っていても、すべての開発者とエンド ユーザーを活用することはできません。 Polygon zkEVM のようなツールで可能です。」

ニューコムは、悪い情報が広まっていると言います。 「私たちはトランスパイルではなく、コンパイルします」と彼は言います。 そして彼は Polygon に一撃を加え、プロジェクトの Github を見ると、動作するシーケンサーと統合された動作する汎用証明器をまだ開発していないと述べています。  

「これが事実である場合、それは彼らがやるべき仕事の量を定義できないことを意味します。 複雑なシステムの最後の 10% は常に最も困難です。 これは、テストネットを立ち上げたときの状況と似ています。 その後、XNUMXか月かかりました。」

ほとんどの互換性

一方、zkSync は、イーサリアムの 141 のオペコードのうち 1 つを除くすべてと互換性があります。そのうちの 10 つは廃止され、もう 1 つは廃止され、XNUMX つ目は、Newcomb によると XNUMX% のプロジェクトの XNUMX/XNUMX 未満で使用されています。

「では、完全に同等ではないことで何を得たのでしょうか? パフォーマンスに対するコストは、同等性を追求するどのソリューションよりもはるかに優れています。 私たちはずっと速く、ずっと安くしています。 そして XNUMX 番目に得られたのは、LLVM コンパイラをチェーン内に固定することができたことです。 そして、LLVM コンパイラが行うことは、私たちがすでにレイヤー XNUMX を見ているということです。」

LLVM を使用すると、Python、Rust、または C++ の開発者がソリューションにコードを記述できるようになり、それがコンパイルされて Solidity と同じように動作します。 

「それは採用にとって非常に大きいです。 ここカイロで XNUMX か月かかったこのプロジェクトは、同じエコシステム プロジェクトが XNUMX 日間で移植されました。 それが互換性です。」

彼は、zkSync が完全に同等である場合、移植に XNUMX 日しかかからないことを認めていますが、LLVM とスケーリングの増加を見逃すことになります。 したがって、彼はそれが価値あるトレードオフだと言います。

レイヤー 3 と再帰的スケーリング

多数のトランザクションを XNUMX つの有効性証明に圧縮できることの最も優れた点は、このテクノロジにより多数のトランザクションを圧縮できることです。 その他の証明 単一の証明にもなります。 

これは再帰的スケーリングと呼ばれ、Consensys のロールアップ担当プロダクト マネージャーである Declan Fox 氏は、理論的にはグローバルな金融システム全体が Ethereum 上で動作するほど強力であると考えています。 「私たちは、必要なスループットを達成するための技術を持っています」と彼は言います。 「再帰的なロールアップと証明により、理論的には無限にスケーリングできます。」

また、お読みください。 イーサリアムが世界を飲み込んでいる: — 「必要なインターネットは XNUMX つだけ」 

StarkWare は 30 月に再帰的スケーリングを有効にし、この技術を使用してから XNUMX 万件以上のトランザクションを処理しました。

「再帰は、この初期段階ですでに、8 回の証明でのトランザクション数を約 40 倍に増やしています」と Ben-Sasson は説明します。 「さらに、それは非常に効率的であることが証明されており、本番環境に入ってすぐに、プルーフ生成のための独自のクラウド コストが約 XNUMX% 削減されました。

「これらは私たちが期待する予測や数値ではなく、現在生産されているものからの数値です。 これはほんの始まりにすぎません。今後の変更により、これらの数字はますます印象的なものになるでしょう。

Bjelic によると、Polygon は Plonky2 ソリューションを実装しようとしています。 これは、オープン ソースの zk-SNARK ソリューションです。 「この再帰的な SNARK を使用すると、既存の代替手段よりも桁違いに高速にトランザクションを検証できます。 Plonky2 は Ethereum 仮想マシンともネイティブに互換性があるため、Polygon は zkEVM を開発できました。」

そして、zkSync のレイヤー 3 のテストネットが間もなくリリースされ、ロールアップにイーサリアム上のスペースを開花させるために特別に設計された Proto-Danksharding と呼ばれるイーサリアムのアップグレードを利用するのに間に合うようになります。 Newcomb は、レイヤー 3 が XNUMX 年以内に製品化されることを期待しています。 彼らはこれを「フラクタル ハイパーチェーン」のエコシステムであるパスファインダーと呼んでいます。

「エンジニアリングに関してはおそらく何時間も続けることができますが、機能的には、再帰チェーンをイーサリアムから遠ざけるほど、データコストが安くなり、データコストを再帰的に使用すると、10倍、10倍、10倍、10倍になります。それは zk に固有のものです。」

「それが 100,000 TPS と 4000 万 TPS に到達する場所です」と彼は言います。 Visa は、通常の日に約 65,000 TPS で動作し、Chrismats のようなピーク時には約 XNUMX TPS まで急上昇します。

「ZK は 100,000 TPS 程度に到達する唯一の方法であるため、Visa のようなものがその基盤となるプロトコルをブロックチェーンに置き換えるレベルに到達できます。 そして、それを行うとき、それはあなたのマス・アダプションの瞬間です。」

Newcomb 氏によると、もう 3 つの驚くべき進展は、レイヤー 2 がチェーン間ブリッジの要件を取り除くことができることです。これは、今年だけで XNUMX 億ドル以上のハッキングが発生した場所です。

「レイヤー 3 ですでに達成したことの 3 つは、すべてのブリッジを取り除くことです。 そして、XNUMX つの証明者が LXNUMX までのすべてのハイパーチェーンの回路を実行できるようになると、XNUMX つのブロックチェーンから別のブロックチェーンへの通信はすべてネイティブになります。 それが、Vitalik が、これ以上ブリッジがないため、これがエンド ゲームであると言ったもう XNUMX つの理由です。」

「桁違いに速く、安くし、より多くの言語を利用できるようにすることで、より使いやすく、より多くの開発者に受け入れられるようにすれば、橋を取り除くことで人々に信頼してもらえるようになります。 私がいつも言っているのは、L10 の 3 倍の瞬間のスター クラスターであり、それがゲームが行われる場所です。」

まだ修正されていません 

それでおしまい？ ZK ロールアップと EVM 互換のスケーリング ソリューションの登場により、すべてが解決されましたか?

残念ながら違います。 ZKロールアップは現在、イーサリアムから計算を取り除くのに非常に優れていますが、ロールアップが機能しなくなったり、悪者に乗っ取られたりした場合に、他の組織が違反に踏み込むことができるように、メインチェーンに十分なデータを書き戻す必要があります.そして、誰が誰に何を借りているかを突き止めます。

これはデータ可用性の問題と呼ばれ、プロト ダンクシャーディングとフル ダンクシャーディングを含むかなりの量のイーサリアムのロードマップは、それを解決し、より多くのデータを含めることを可能にすることを目的としています。 現時点では、Validium にデータを保存するなど、これを回避する方法がいくつかあります。Validium は安価ですが、安全性は低くなります。 

ニュースレター登録

ブロックチェーンで最も魅力的な読み取り。 XNUMX回にXNUMX回配信
週。

「つまり、野球カードのコレクションを持っていて、これらのカードの多くがそれほど高価ではなく、Validium に保存していて、1 枚のレアなカードが多額の価値がある場合は、おそらく次のように説明します。レイヤー XNUMX を節約できます」と Ben-Sasson 氏は言います。

Polygon は、Avail を含む、この同じ問題に対する多くのソリューションに取り組んでいます。 

zkSync のパスファインダー 開発者は、Validium、zkPorter (オンチェーンとオフチェーンの混合)、ZKRollup (完全なセキュリティ) の XNUMX つのオプションからデータの可用性を選択できます。

28 月 XNUMX 日の zkSync のメインネットのローンチにビッグバンを期待しないでください。Matter Labs による数か月のテストと、ハッキングや悪用を試みるユーザーへの報奨金の提供だけで、最初は圧倒されるでしょう。 その後、DApps の移植が許可され、セキュリティの構築とテストが開始されます。

「そして、すべてが完了したと感じたら、ゲートのリフトと呼ばれるものを実行します」とニューコムは言います。 「そして、すべてのユーザーが同時にシステムに入ることができ、これはフェア リリース プログラムと呼ばれます。 したがって、どのプロジェクトも他のプロジェクトより優先することはありません。」 彼は、その時点で 150 のプロジェクトが立ち上げられ、Polygon のソリューションが完成するのをプロジェクトが待つ理由はなくなるだろうと述べています。

「彼らは競馬場に行くようなもので、車輪もハンドルもエンジンもまったくない車のシャシーで現れます」と彼は言います。

「そして、製品全体が完成しました。 我々にはフェラーリがあり、準備は整っている」

アンドリューフェントン

メルボルンを拠点とするアンドリュー・フェントンは、暗号通貨とブロックチェーンを扱うジャーナリスト兼編集者です。 ニューズ コープ オーストラリアのナショナル エンターテイメント ライターとして、SA ウィークエンドでは映画ジャーナリストとして、メルボルン ウィークリーでは働いてきました。

著者をフォローする @アンドリューフェントン