香港でのヴィタリック・ブテリン氏の基調講演: プロトコルは過去 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 ビットのデータを必要とし、計算に下限はありません。

「結論としては、基本的に、私たちが考える必要があるのは、暗号化でできることの限界に到達するためのプロトコルが必要であり、私たちの暗号化がこれまでよりも強力になるところまで到達したということです」それは何十年も前のことでした。それよりはるかに強力ですが、それはさらに強力になる可能性があり、現時点では、天井が何であるか、そして実際にどのようにしてそこに到達することができるかを本当に考え始める必要があると思います」とヴィタリク氏は最後に述べた。

以上が香港でのヴィタリック・ブテリン氏の基調講演: プロトコルは過去 10 年間で急速に発展しましたが、効率とセキュリティという 2 つの大きな問題があります。の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。