2024年の香港Web3カーニバル期間中、イーサリアムの共同創設者ヴィタリック・ブテリン氏は、DRK Labが主催する「Web3 Scholar Summit 2024」で基調講演「プロトコル設計の限界に達する」を行った。同氏は、2010年代には基本的な暗号化に基づくプロトコルがハッシュと署名だったと紹介した。その後、合意は急速に発展しました。 2020 年代には、高度な暗号化に基づくプロトコルには、ZK-SNARKS、2PC、MPC、FHE (完全準同型暗号化)、アグリゲーション (IVC、ICD などによるものを含む)、および高度な P2P ネットワークが含まれます。Vitalik氏は、現在のZK-SNARK、MPC、FHEなどの技術には効率性とセキュリティの問題があり、その中でイーサリアムスロットのブロック時間は12秒、「通常の」ブロック検証時間は約400ミリ秒であり、ZK-SNARK認証を取得していると述べた。所要時間は約20分、イーサリアムはリアルタイム証明の実現を目指しています。効率の問題には、並列化 (Parallelization)、集約ツリー (集約ツリー)、効率の向上 (SNARK アルゴリズムとハッシュの使用)、ASIC 高速化ハードウェア ソリューションなど、いくつかの解決策があります。ZK-SNARKs 回線の脆弱性問題は、セキュリティ委員会と複数の証明者によって解決できます。将来的には、AI がデバッグや問題のさらなる解決に役立つようになるでしょう。「将来の興味深い方向性は、人工知能ツールを使用することであり、正式な検証に新しいツールを使用する可能性があると思います。zkEVM にバグがないことを証明するようなものです。もしかしたら、実際にバグのない世界を達成できるかもしれません」と同氏は述べた。 「これはちょっとクレイジーだよ」さらに、署名集約の効率について語る際、Vitalik Buterin 氏は、現状では 1 スロットあたり約 30,000 の署名があり、高いノード需要が必要であると指摘しました。望ましい目標は、ノード要件を軽減し、比較的単純なプロトコルを採用しながら、できるだけ多くのバリデータをサポートすることです。理論上の制限によれば、各参加者はタイムスロットごとに 1 ビットのデータを必要とし、計算に下限はありません。「結論としては、基本的に私たちが考える必要があるのは、暗号化でできることの限界に到達するためのプロトコルが必要であり、暗号化が数十年前よりもはるかに強力になるところまで到達したということです」 「以前ではありましたが、より強くなる可能性があります。現時点では、上限が何なのか、実際にどのようにしてそこに到達できるのかを真剣に考え始める必要があると思います」とヴィタリク氏は最後に述べた。
香港でのヴィタリック・ブテリン氏の基調講演: この協定は過去 10 年間で急速に発展しましたが、効率と安全性という 2 つの大きな問題があります。
2024年の香港Web3カーニバル期間中、イーサリアムの共同創設者ヴィタリック・ブテリン氏は、DRK Labが主催する「Web3 Scholar Summit 2024」で基調講演「プロトコル設計の限界に達する」を行った。
同氏は、2010年代には基本的な暗号化に基づくプロトコルがハッシュと署名だったと紹介した。その後、合意は急速に発展しました。 2020 年代には、高度な暗号化に基づくプロトコルには、ZK-SNARKS、2PC、MPC、FHE (完全準同型暗号化)、アグリゲーション (IVC、ICD などによるものを含む)、および高度な P2P ネットワークが含まれます。
Vitalik氏は、現在のZK-SNARK、MPC、FHEなどの技術には効率性とセキュリティの問題があり、その中でイーサリアムスロットのブロック時間は12秒、「通常の」ブロック検証時間は約400ミリ秒であり、ZK-SNARK認証を取得していると述べた。所要時間は約20分、イーサリアムはリアルタイム証明の実現を目指しています。効率の問題には、並列化 (Parallelization)、集約ツリー (集約ツリー)、効率の向上 (SNARK アルゴリズムとハッシュの使用)、ASIC 高速化ハードウェア ソリューションなど、いくつかの解決策があります。
ZK-SNARKs 回線の脆弱性問題は、セキュリティ委員会と複数の証明者によって解決できます。将来的には、AI がデバッグや問題のさらなる解決に役立つようになるでしょう。
「将来の興味深い方向性は、人工知能ツールを使用することであり、正式な検証に新しいツールを使用する可能性があると思います。zkEVM にバグがないことを証明するようなものです。もしかしたら、実際にバグのない世界を達成できるかもしれません」と同氏は述べた。 「これはちょっとクレイジーだよ」
さらに、署名集約の効率について語る際、Vitalik Buterin 氏は、現状では 1 スロットあたり約 30,000 の署名があり、高いノード需要が必要であると指摘しました。望ましい目標は、ノード要件を軽減し、比較的単純なプロトコルを採用しながら、できるだけ多くのバリデータをサポートすることです。理論上の制限によれば、各参加者はタイムスロットごとに 1 ビットのデータを必要とし、計算に下限はありません。
「結論としては、基本的に私たちが考える必要があるのは、暗号化でできることの限界に到達するためのプロトコルが必要であり、暗号化が数十年前よりもはるかに強力になるところまで到達したということです」 「以前ではありましたが、より強くなる可能性があります。現時点では、上限が何なのか、実際にどのようにしてそこに到達できるのかを真剣に考え始める必要があると思います」とヴィタリク氏は最後に述べた。