ヴィタリック 香港基調講演：プロトコルは過去10年間で急速に発展したが、効率と安全性の2つの問題が存在する。

著者：Weilin，PANews

2024 香港 Web3 カーニバル期間中、イーサリアム共同創設者の Vitalik Buterin は、DRK Lab 主催の「Web3 学者サミット 2024」で基調講演「プロトコル設計の限界に到達する」を行いました。

彼は、2010年代には基本的な暗号学に基づくプロトコルがハッシュや署名であったことを紹介しました。その後、プロトコルは急速に発展しました。2020年代には、高度な暗号学に基づくプロトコルとして ZK-SNARKS、2PC、MPC、FHE（完全同態暗号）、集約（IVC、ICD などを通じて）や高度な P2P ネットワークがあります。

Vitalik は、現在 ZK-SNARKs、MPC、FHE などの技術には効率と安全性の問題が存在すると述べました。その中で、イーサリアムのスロット出塊時間は 12 秒で、「普通」のブロック検証時間は約 400 ミリ秒、ZK-SNARK 証明時間は約 20 分であり、イーサリアムの目標はリアルタイム証明を実現することです。効率の問題には、並列化（Parallelization）、集約木（aggregation trees）、効率の向上（SNARK アルゴリズムとハッシュを使用）、および ASIC 加速ハードウェアの解決策が含まれます。

ZK-SNARKs の回路の脆弱性問題は、安全委員会やマルチプロバー（multi-provers）によって解決できます。将来的には、AI がデバッグを支援し、さらに解決を進めることができるでしょう。

「私が考える興味深い未来の方向性は、人工知能ツールを使用し、新しいツールを使って形式検証を行うことです。例えば、zkEVM に脆弱性がないことを証明することです。」と彼は言いました。「もしかしたら、将来的には本当にバグのない世界を実現できるかもしれません。それは少しクレイジーです。」

さらに、署名の集約効率について話す中で、Vitalik Buterin は現在の状況が各タイムスロットで約 30000 の署名があることを指摘し、これには高いノード需要が必要であると述べました。期待される目標は、できるだけ多くの検証者をサポートしつつ、ノードの需要を低下させ、比較的シンプルなプロトコルを採用することです。そして理論的制限によれば、各参加者は各タイムスロットで 1 ビットのデータが必要であり、計算面での下限制限はありません。

「したがって結論として、基本的に考慮すべきことは、暗号学でできる限界に到達するためのプロトコルが必要であるということです。我々はそのような段階に達しており、我々の暗号学は数十年前よりもはるかに強力ですが、さらに強力になる可能性があります。この点において、我々は本当に上限が何であるか、そしてどのようにしてその上限に本当に到達できるのかを考え始める必要があると思います。」と Vitalik は結びました。