2024年の香港Web3カーニバル期間中、イーサリアムの共同創設者ヴィタリック・ブテリン氏は、DRK Labが主催する「Web3 Scholar Summit 2024」で基調講演「プロトコル設計の限界に達する」を行った。
同氏は、2010年代には基本的な暗号化に基づくプロトコルがハッシュと署名だったと紹介した。その後、合意は急速に発展しました。 2020 年代には、高度な暗号化に基づくプロトコルには、ZK-SNARKS、2 PC、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 ビットのデータを必要とし、計算に下限はありません。
「結論としては、基本的に私たちが考える必要があるのは、暗号化でできることの限界に到達するためのプロトコルが必要であり、暗号化が数十年前よりもはるかに強力になるところまで到達したということです」 「以前はそうだったけど、もっと強くなる可能性はある。現時点では、天井が何なのか、実際にそこにどうやって到達できるのかを真剣に考え始める必要があると思う」とヴィタリク氏は最後に語った。
