ビタリックブテリンがイーサリアムのZKスケーリングを遅らせているModexpプレコンパイルの削除を呼びかけ

ブテリンは、modexpがZK-EVMの計算を平均的なイーサリアムブロックの最大50倍重くすることを示しています。

彼は、ガスコストが高くなるにもかかわらず、modexpを同等のEVMコードに置き換える新しいEIPを提案しています。

Modexpの非効率性はZK-rollupの進展を遅らせ、依然としてレガシー機能を必要とするアプリケーションは少数です。

イーサリアムの共同創設者であるヴィタリック・ブテリンは、開発者に対してネットワークのモジュラー指数演算プリコンパイルであるmodexpを削除するよう促し、これを効率的なゼロ知識(ZK)スケーリングに対する最大の障壁の一つと表現しました。

最近のXの投稿で、ブテリンはプリコンパイルが「これまでで最も悪質な犯人」であると述べ、計算が平均ブロックの最大50倍重くなる可能性があると指摘しました。彼は、ガス料金が高くなることを要求しても、同等のEVMコードで関数を置き換えるために、新しいイーサリアム改善提案(EIP)を草案することを提案しました。

レガシー機能が大きなボトルネックを生み出す

modexpプリコンパイルは、初期のイーサリアムコンポーネントであり、RSA暗号化およびデジタル署名のコア操作であるモジュラー指数演算を処理します。初期の暗号システムにおいて重要でしたが、この機能は今やイーサリアムがゼロ知識技術に向かう進化を妨げています。

ブテリンは、彼が最初に設計したコードが現代のスケーリングツールにとって「負担」となっていることを認めました。彼の投稿によると、modexpの非効率性はZK証明生成コストを増加させ、ZKロールアップやZK-EVMのような技術の開発を遅らせています。

これらのツールは、オフチェーンでトランザクションを処理し、それをイーサリアム上で安全に確認するために迅速な検証に依存しています。ブテリンはまた、modexpの複雑なコードパスが潜在的なコンセンサスリスクを生み出し、イーサリアムの長期的なメンテナンスを複雑にすることを強調しました。

低利用は必要性に疑問を投げかける

その複雑さにもかかわらず、modexpに依存しているアプリケーションはわずかしかありません。ブテリンは、RSA検証やブリッジセキュリティチェックなど、modexpを使用しているほとんどの機能が、ZK計算を効率的に処理する暗号証明であるSNARKに基づくより高度なシステムに移行できると指摘しました。彼は、modexpの最適化を維持するには「英雄的な努力」が必要であり、その最小限の採用を考えると、その継続的な使用は正当化されないと付け加えました。

代わりに、modexpを標準のEVMバイトコードに置き換えることで、エコシステムを簡素化できるかもしれません。この変更により、それを依存する少数のユーザーのガスコストは増加しますが、他のすべてのユーザーにとって計算負荷を大幅に削減し、ZK証明の生成を効率化します。

効率的な暗号技術へのより広範な推進

ブテリンの批判は、イーサリアムの暗号基盤を近代化するための彼の広範なキャンペーンに当てはまります。先月、彼は標準的なハードウェア上で1秒間に200万件の計算を処理できる検証方法であるGKRプロトコルについて詳述しました。

この技術は、従来のアプローチよりも少ないリソースで複雑なイーサリアムの計算を検証できます。彼の最近の提案は、ゼロ知識および完全準同型暗号のパフォーマンスを測定するための明確なベンチマークを作成することを強調しています。

スピードだけを優先するのではなく、ブテリンは高度な暗号システムに移行する際にどれだけの効率が失われるかを評価することを提唱しています。このアプローチは、ネットワークがZKベースの計算にさらに進むにつれて、イーサリアムのコアが効率的でスケーラブルかつ安全であることを保証するための彼の継続的な努力と一致しています。

Vitalik ButerinがイーサリアムのZKスケーリングを遅らせているModexpプリコンパイルの削除を呼びかける投稿がCrypto Front Newsに掲載されました。暗号通貨、ブロックチェーン技術、デジタル資産に関するさらに興味深い記事を読むには、私たちのウェブサイトを訪れてください。