ポリゴンの「4人組」計画を破るのは誰だ?
執筆者: s、ベンチャー キャピタル アナリスト
編集者: フェリックス
イーサリアムがネットワークの混雑に直面したとき、法外な手数料によりイーサリアム ネットワークは高価になり、一部のユーザーにはそれを支払う余裕がなく、多くのユーザーがイーサリアム エコシステムから離れてしまいました。イーサリアムのロールアップ中心のロードマップと、将来的にはZKロールアップがオプティミスティックロールアップを上回るだろうというVitalikの立場を考慮すると。スケーラビリティの解決を目指すイーサリアムのサイドチェーン Polygon として、数十億の次世代ユーザーをブロックチェーン分野にもたらす ZK の可能性を見出し、ZK ソリューションの構築に 10 億ドルを投資しています。 ZK 上の Polygon のレイアウトに関して、ベンチャーキャピタルのアナリストは Polygon の 4 つの主要な ZK ソリューションを解釈しました。
Hermez はイーサリアムメインネット上で初の分散型 ZK ロールアップであり、早ければ 2021 年 3 月に決済サービスを提供します。 Polygon Hermez は ZK-SNARK アーキテクチャに基づいており、ゼロ知識証明を使用してイーサリアム ネットワーク上でより高速かつ安価なトランザクションを可能にすることで、イーサリアム ブロックチェーンのスケーラビリティの問題を解決することを目指しています。 EVM は ZK Proof (ZKP) を生成するために作成されたものではないため、Polygon Hermez は主にすべての EVM オペレーション コードを再作成することによって zkEVM を構築しました。
zkEVM を構築することにより、Polygon Hermez によってエミュレートされた EVM オペコードは次の利点をもたらします。
イーサリアムの強固なセキュリティを継承
Ethereum 開発者コミュニティは EVM 作業を zkEVM に簡単に移行し、既存のツールを使用できるため、導入が容易です (優れた開発エクスペリエンス)。
＃＃＃ パフォーマンス
ZK-SNARK に基づくアーキテクチャは、最大 2000 TPS を提供し、コストを 300,000 ガス未満に抑えることができます。
Polygon Zero は、以前は Mir プロトコルとして知られていました。 Polygon Zero が最初に Plonky2 を開発したとき、再帰的証明を生成するのに 2 分かかりました。現在、Plonky2 はラップトップ上で再帰的証明を生成するのにわずか 170 ミリ秒しかかかりません。
Polygon Zero は最終的に、Plonky2 を活用した最もスケーラブルな zkEVM を構築しています。 Plonky2 は、イーサリアム上の他の ZK スケーリング スキームよりも 100 倍高速な再帰的 SNARK です。これは、STARK の利点 (迅速な証明と信頼できるセットアップが不要) と SNARK の利点 (再帰、低い検証コスト) を組み合わせることで実現されます。
Plonky2 はネイティブ Ethereum と互換性があり、Solidity コードをサポートし、ZK バイトコードに変換します。したがって、Polygon Zero は既存のイーサリアム dApp エコシステムを活用できます。
STARK ベースのロールアップには次の機能があります。
Polygon Miden は、Miden VM (仮想マシン) を中心としており、任意のプログラムをサポートしています。 ZKP の暗号化の複雑さをすべて隠し、開発者に馴染みのあるアーキテクチャ パターン (スタック マシン、メモリの読み書きなど) に従うことで、開発者にとってより使いやすいものになっています。
＃＃＃ 安全性
ポリゴンミデンの主な特徴の 1 つは安全性です。このプロトコルは、いくつかの安全でない機能 (EVM で利用可能) を削除するため、スマート コントラクトの静的な分析が容易になり、仮想マシン (VM) レベルでの特定のバグを防ぐことができます。
Miden は Solidity レベルでイーサリアムと互換性があります。開発者は、ほとんどの Solidity スマート コントラクトを変更せずに Miden にデプロイできます。もう 1 つの目新しさは、Move や Sway などの他の言語との互換性です。
起動時の TPS は 1000 ～ 2000 になります。シャードがイーサリアムにデプロイされると、TPS は約 20,000 TPS に達します。
前述の ZK ソリューションとは対照的に、Nightfall はプライベート送金と支払いに焦点を当てており、ERC20、ERC721、ERC1155 トークンをサポートしています。
スマート コントラクトに保存する必要のないデータはオフチェーンに保存され、スマート コントラクトが最適化されます。チームは、ユーザーが不正行為の証拠を提出するための 1 週間の期限を回避できる即時引き出しメカニズムの開発に取り組んでいます。このプロトコルは大幅に遅くなり、最大 105TPS になります。ただし、移動にかかるガスコストは最大 86% 削減でき、約 9000 ガスで安定すると推定されています。
＃＃ 比較
以下の図は、著者が 4 つのスキームを要約したものです。
＃＃ 結論は
Polygon が ZK スケーリング ソリューションの開発の先頭に立って多大な時間と資金を投資していることは明らかです。メインネットのパフォーマンスと、他の ZK プロトコルとどのように連携するかを見てみましょう。
222k 投稿
186k 投稿
141k 投稿
79k 投稿
66k 投稿
62k 投稿
60k 投稿
57k 投稿
52k 投稿
51k 投稿
Polygon の 4 つの主要な ZK ソリューションの比較分析: それぞれの特徴と利点は何ですか?
執筆者: s、ベンチャー キャピタル アナリスト
編集者: フェリックス
イーサリアムがネットワークの混雑に直面したとき、法外な手数料によりイーサリアム ネットワークは高価になり、一部のユーザーにはそれを支払う余裕がなく、多くのユーザーがイーサリアム エコシステムから離れてしまいました。イーサリアムのロールアップ中心のロードマップと、将来的にはZKロールアップがオプティミスティックロールアップを上回るだろうというVitalikの立場を考慮すると。スケーラビリティの解決を目指すイーサリアムのサイドチェーン Polygon として、数十億の次世代ユーザーをブロックチェーン分野にもたらす ZK の可能性を見出し、ZK ソリューションの構築に 10 億ドルを投資しています。 ZK 上の Polygon のレイアウトに関して、ベンチャーキャピタルのアナリストは Polygon の 4 つの主要な ZK ソリューションを解釈しました。
ポリゴン エルメス | zkEVM
Hermez はイーサリアムメインネット上で初の分散型 ZK ロールアップであり、早ければ 2021 年 3 月に決済サービスを提供します。 Polygon Hermez は ZK-SNARK アーキテクチャに基づいており、ゼロ知識証明を使用してイーサリアム ネットワーク上でより高速かつ安価なトランザクションを可能にすることで、イーサリアム ブロックチェーンのスケーラビリティの問題を解決することを目指しています。 EVM は ZK Proof (ZKP) を生成するために作成されたものではないため、Polygon Hermez は主にすべての EVM オペレーション コードを再作成することによって zkEVM を構築しました。
なぜ zkEVM なのか?
zkEVM を構築することにより、Polygon Hermez によってエミュレートされた EVM オペコードは次の利点をもたらします。
イーサリアムの強固なセキュリティを継承
Ethereum 開発者コミュニティは EVM 作業を zkEVM に簡単に移行し、既存のツールを使用できるため、導入が容易です (優れた開発エクスペリエンス)。
＃＃＃ パフォーマンス
ZK-SNARK に基づくアーキテクチャは、最大 2000 TPS を提供し、コストを 300,000 ガス未満に抑えることができます。
ポリゴン ゼロ |スナーク+スターク
Polygon Zero は、以前は Mir プロトコルとして知られていました。 Polygon Zero が最初に Plonky2 を開発したとき、再帰的証明を生成するのに 2 分かかりました。現在、Plonky2 はラップトップ上で再帰的証明を生成するのにわずか 170 ミリ秒しかかかりません。
Polygon Zero は最終的に、Plonky2 を活用した最もスケーラブルな zkEVM を構築しています。 Plonky2 は、イーサリアム上の他の ZK スケーリング スキームよりも 100 倍高速な再帰的 SNARK です。これは、STARK の利点 (迅速な証明と信頼できるセットアップが不要) と SNARK の利点 (再帰、低い検証コスト) を組み合わせることで実現されます。
EVM の互換性
Plonky2 はネイティブ Ethereum と互換性があり、Solidity コードをサポートし、ZK バイトコードに変換します。したがって、Polygon Zero は既存のイーサリアム dApp エコシステムを活用できます。
ポリゴンミデン |スターク
STARK ベースのロールアップには次の機能があります。
Polygon Miden は、Miden VM (仮想マシン) を中心としており、任意のプログラムをサポートしています。 ZKP の暗号化の複雑さをすべて隠し、開発者に馴染みのあるアーキテクチャ パターン (スタック マシン、メモリの読み書きなど) に従うことで、開発者にとってより使いやすいものになっています。
＃＃＃ 安全性
ポリゴンミデンの主な特徴の 1 つは安全性です。このプロトコルは、いくつかの安全でない機能 (EVM で利用可能) を削除するため、スマート コントラクトの静的な分析が容易になり、仮想マシン (VM) レベルでの特定のバグを防ぐことができます。
EVM の互換性
Miden は Solidity レベルでイーサリアムと互換性があります。開発者は、ほとんどの Solidity スマート コントラクトを変更せずに Miden にデプロイできます。もう 1 つの目新しさは、Move や Sway などの他の言語との互換性です。
＃＃＃ パフォーマンス
起動時の TPS は 1000 ～ 2000 になります。シャードがイーサリアムにデプロイされると、TPS は約 20,000 TPS に達します。
ポリゴンの夜明け|楽観的 + ZK
前述の ZK ソリューションとは対照的に、Nightfall はプライベート送金と支払いに焦点を当てており、ERC20、ERC721、ERC1155 トークンをサポートしています。
スマート コントラクトに保存する必要のないデータはオフチェーンに保存され、スマート コントラクトが最適化されます。チームは、ユーザーが不正行為の証拠を提出するための 1 週間の期限を回避できる即時引き出しメカニズムの開発に取り組んでいます。このプロトコルは大幅に遅くなり、最大 105TPS になります。ただし、移動にかかるガスコストは最大 86% 削減でき、約 9000 ガスで安定すると推定されています。
＃＃ 比較
以下の図は、著者が 4 つのスキームを要約したものです。
＃＃ 結論は
Polygon が ZK スケーリング ソリューションの開発の先頭に立って多大な時間と資金を投資していることは明らかです。メインネットのパフォーマンスと、他の ZK プロトコルとどのように連携するかを見てみましょう。