ZKR と OR の対立と議論: EVM 相当額は上限ではなく下限ですか?
原作者: Nian Qing、ChainCatcher
原作者: Nian Qing、ChainCatcher
昨年後半から、zk-Rollup拡張プロジェクトは力を集中し始め、進捗を追いつき続けており、関連プログラムやプロジェクトも生まれ始めており、より多くの資金と注目を集めています。誰もが ZK には明るい未来があると称賛するとき、競合他社としてのオプティミスティック ロールアップは黙ってはいられないので、ZKR (zk-Rollup) と OR (オプティミスティック ロールアップ) が (世論の観点から) 2023 年の始まりを告げました。 -直接対決。2 日前、Arbitrum 開発チーム Offchain Labs の共同創設者 Steven Goldfeder 氏が再びつぶやき
ZK Rollup と zkEVM に冷水を注ぎます。
Steven Goldfeder 氏は、「ZK Rollup は Optimistic Rollup をより適切に置き換えることができる」という言葉には同意しないと述べました。現時点では、zkEVM は本番環境での実装には程遠く、zk-Rollup は op-Rollup よりも高価で互換性が高いですこの段階では違います。
さらに、Goldfeder 氏は、「EVM の同等性は上限ではなく下限である」と述べ、この観点から、Arbitrum は本番環境で EVM の同等性を完全に達成する最初のロールアップとして長期的な利点を持っています。このステップに基づいて、Arbitrum はより幅広い開発者やユーザーにオープンになることを目的とした、より高いレベルの EVM+ の開発を開始しました (Rust や Move のサポートなど)。 Nitro の WASM ベースの設計は、EVM+ イノベーションにおいて大きな構造上の利点を持っており、zk チームが短期的に EVM+ を達成することは「ほぼ不可能」です。
最後に、Goldfeder 氏は大胆な予測を立てました。完全に機能する zkEVM が登場する前に、Arbitrum はすでに Solidity と Rust コントラクトをサポートしているのです。
スティーブン・ゴールドフェダーのzk-Rollupプロジェクトに対するやや傲慢で無差別な銃撃は、「素晴らしい議論（悪口）議論（戦争）」を引き起こした。Polygon zkEVM のエンジニアで、元ゼロ知識証明開発会社 Mir のブレンダン氏は、Goldfeder 氏の観点をとりました。項目ごとに回答する
: Goldfeder は Polygon zkEVM アーキテクチャをよく理解していません。まず時間の観点から言えば、Polygon は実稼働対応の zkEVM テスト ネットワークをリリースし、80,000 を超えるブロック プルーフを生成しており、メイン ネットワークは約 3 か月以内に開始される予定です。コストの観点から見ると、Polygon zkEVM の証明コストはそれほど高くありません。たとえば、Uniswap トランザクションのコストは 0.0019 ドルですが、このコストは将来的には現在のコストの 1/100 に削減される予定です。さらに、高価な計算を ZKP にオフロードすることは、すべてのフルノードに再実行を強制するモデルよりも優れています。
さらに、Brendan 氏は、より大きな問題は、新しいオペコードを導入した後に EVM との互換性を確保するかどうかであるべきだと考えています。また、同氏は「対象を絞った」予測も行っています。EVM をサポートするオプティミスティック ロールアップが許可なしの不正行為を証明する前に、実稼働環境に完全に機能する zkEVM が存在する必要があります。Scroll 共同創設者 Ye Zhang 氏反論する
、Goldfeder は zkEVM を過小評価している、8 か月前の Scroll のブログをもう一度見てみる必要がある、Scroll の zkEVM は非常にモジュール的な方法で構築されています。また、あまり積極的な機能追加はセキュリティリスクを増大させるため、実ニーズの観点からは新たな機能追加は必要ないと考えられます。
さらに、彼はさらに検討する必要があるいくつかの疑問を提起しています。実際に、Solidity との Rust コントラクトの作成に関心を持っている人はどれくらいいるでしょうか?追加のツール サポートはどのくらい必要ですか?コンポーザビリティはサポートされていますか?セキュリティの前提条件とは何ですか?そして、zkSync の共同創設者 Alex G.部分的に陽性
Goldfeder 氏の視点を続けて、同氏は EVM+ > EVM にも同意し、同期相互運用性を Rust/Move コードと比較すると、純粋な Solidity よりもはるかに強力です。しかし、この種の開発は Optimistic Rollup だけで行うことができるわけではなく、私たちの zkSync は現在 LLVM を通じて Solidity をコンパイルしており、Rust と Move も追加しています。このような比較では、zk-Rollup が簡単に勝ちます。
Starkware は、CairoVM の独特の気質のため、この議論には参加しませんでした。
実際、zk-Rollup の台頭により、ZKR と OR の間の対立と議論は続いています。
昨年 7 月に Polygon がオープンソースの zkEVM コードを喜んで発表したとき、Goldfeder 氏は「zkEVM はまだ通常の運用には程遠い」と冷や水を浴びせましたが、オープンソースなどの問題は確かに真実です。
そして、昨年ボゴタで開催された Devcon ではさらに活気がありました。
zkSync 2.0 の発表により、zkSync は「世界初の完全に機能するオープンソース zkEVM ネットワーク」として大々的に宣伝し始め、Polygon zkEVM も「Devcon 中に正式に発表されたときは最初で唯一の分散型ネットワーク」であると主張しました。 .zkEVMテストネット」。
しかし、2人が「最初のzkEVM」について議論したとき、彼らはまた多くの疑問を引き起こしました. もちろん、スティーブン・ゴールドフェダーは不可欠です. 彼は、zkSyncのzkEVMテストネットワークがzkプルーフを有効にしていない、またセキュリティ監査にも合格していないと信じています。 Polygon は、zkEVM 証明者 (zk 証明者) のソース コードが Github で入手可能であるにもかかわらず、オープン ソース ライセンスを持っていないという質問を受けました。Polygon は「完全に同等」であると述べていますが、その Github コード ベースは、それが唯一の機能を持っていることを示しています。 97% の互換性をテスト済み。これに対し、Polygon チームは「意図的な隠蔽はなく、一部のコンテンツはより適切な文書化を目的として書かれている」と返答した。
Steven Goldfeder 氏は、より適切な文を書いています。「多くのチームが zkEVM を着実に進歩させていますが、『黄金時代』には程遠いです。この物語を推進するチームはコミュニティに害を与えています。」ZKRとOPRの間の議論は2021年末まで遡ることができる。 Offchain Labs が「」というタイトルの特別記事を公開しました。Optimistic Rollup が ZK Rollup よりもイーサリアム拡張の将来をよりよく表しているのはなぜですか?
》 この記事では、ZK Rollups と Optimistic Rollup の 2 つの拡張テクノロジーを比較しています。それ以来、Offchain Labs は、EVM および既存のツールと完全に互換性のある Optimistic Rollup システムの拡張性とコストの利点を強調してきました。その後、Polygon のゼロ知識証明エンジニア Brendan Farmer (上記と同じ人) が「Polygon がオフチェーン ラボに反論: ZK Rollup はイーサリアム スケーリングの未来
「それに応じて、zk はオプティミスティックロールアップと比較して、同等のセキュリティとより高い資本効率を提供できます。また、不正証明はイーサリアム上で実行可能でなければならないため、OR は L1 によって制限されますが、ZK にはこの制限がありません。
これら 2 つの派閥間の議論は今年も実質的に変わっていないことがわかります。しかし、このテーマについてさらに拡張することができれば、これらの議論は意味のあるものになります。
楽観的ロールアップには先行者利益があり、依然として現在の市場シェアの 80% 以上を独占していますが、ヴィタリックを含むオピニオンリーダーは一般に、長期的には ZKR について楽観的です。昨年後半以来、zk分野に多くの資本と開発者が流入し、関連プロジェクトが次々と生まれ、zk-Rollupの開発進捗は徐々に加速しています。 OR システムは現時点では傲慢さが資本になっていますが、競合他社の強大化を前に、王座にしっかりと座っているアービトラムは少し落ち着きがなくなるため、頻繁にディスるのは合理的です。そしてそれは zk-Rollup にとっても良い衝動です。
