イーサリアムの共同創設者ヴィタリック・ブテリン氏、より高速な証明システムのための GKR プロトコルを発表

Vitalik Buterin 氏は、今後数年間でイーサリアムの証明検証とスケーリングへのアプローチ方法を再構築する可能性のある新しい研究を共有しました。

Vitalik Buterin は、ゼロ知識計算をより高速かつ効率的に行うために設計された画期的なシステムである GKR プロトコルを導入しました。

10 月 20 日に彼の個人ブログで公開されたブテリンの新しいチュートリアルでは、Goldwasser-Kalai-Rothblum プロトコルについて詳しく説明されています。この再帰的証明集約方法は、イーサリアム (ETH) がスケーリングと検証を処理する方法を完全に変える可能性があります。

GKR プロトコルと証明効率の将来

GKR フレームワークは、チェーン上のオーバーヘッドをほとんど発生させずに大規模な計算を検証し、複雑な暗号証明を簡素化します。 Buterin 氏は、GKR がコストのかかる中間コミットメントを必要とせずに対数時間で証明を処理し、従来の ZK-SNARK や STARK システムよりもはるかに効率的にする方法について説明しています。

こちらもお勧めです: ゼロ知識暗号化は Web3 よりも優れています |意見

ブテリン氏は投稿の中で、Lev Soukhanov氏、Zhenfei Zhang氏、Zachary Williamson氏のフィードバックとレビューに感謝し、GKRの中核的な強みはそのスケーラビリティにあると強調した。 「これは、大量のハッシュとニューラル ネットワーク スタイルの計算を証明するのに自然に適合します」と彼は書き、ブロックチェーンと AI の両方のワークロードへの適合性を強調しました。

プロトコルの設計により、証明者は中間段階でのコミットメントを省略できるため、コストと計算負荷が軽減されます。 GKR 自体はゼロ知識ではありませんが、プライバシーを確​​保するために ZK-SNARK または STARK レイヤーでラップすることができ、簡潔さと機密性を組み合わせることができます。

イーサリアムのロードマップの重要な部分

GKR は、簡素化された量子耐性のあるネットワーク設計である「リーン イーサリアム」に対するブテリンの幅広いビジョンに沿っています。これは、ファイナリティの高速化、ロールアップの証明集約、ゼロ知識ベースのスケーラビリティを目指すイーサリアムの動きを直接サポートします。

このリリースは、レイヤー 2 ネットワーク間の高度な相互運用性ツール、ノード ストレージを最小限に抑える部分的なステートレス クライアント、ZK によって有効になるガバナンスなど、Buterin のいくつかの関連イニシアチブに従っています。彼らは協力して、イーサリアムをより効率的でプライベートでアクセスしやすいものにすることを目指しています。

開発者がGKRベースのシステムの実験を始めるにつれて、イーサリアムの暗号バックボーンはより軽量かつ高速になる可能性があり、それはスケーラブルで検証された計算というブテリン氏の長期目標の実現に役立つだろう。

続きを読む： イーサリアムの共同創設者ヴィタリック・ブテリン氏が簡素化されたレイヤー1プライバシーロードマップを提案