ヴィタリック:暗号学を用いてプロトコルの限界に達し、同時に効率を最適化し、安全性を向上させる必要がある。
ChainCatcher のメッセージ、2024 香港 Web3 カーニバルにおいて、イーサリアムの共同創設者である Vitalik Buterin が DRK Lab 主催の「Web3 学者サミット 2024」で基調講演《Reaching the Limits of Protocol Design》を行い、現在の ZK-SNARKs、MPC、FHE などの技術には効率と安全性の問題があると述べました。その中で、イーサリアムのスロット出塊時間は 12 秒、「普通」のブロック検証時間は約 400 ミリ秒、ZK-SNARK の証明時間は約 20 分であり、イーサリアムの目標はリアルタイム証明を実現することです。現在の効率の低下問題に対して、Vitalik は「並列化と集約ツリー」(Parallelization + aggregation trees)、SNARK アルゴリズムとハッシュを使用して効率を向上させること、ASIC を使用して ZK ハードウェアアクセラレーションを行うことが解決策であると述べました。さらに、Vitalik は「ZK-SNARKs、MPC、FHE(完全同態暗号)および BLS 集約などの高度な暗号学に基づくプロトコルは急速に発展しているが、同時に効率と安全性の問題も存在する。効率の問題は並列化と集約ツリー、効率の向上(SNARK アルゴリズムとハッシュを使用)、および ASIC によって解決できる。ZK-SNARK 回路の脆弱性問題は安全委員会やマルチプロバイダーによって解決でき、将来的には AI 形式の検証で解決できる。我々は暗号学を用いてプロトコルの限界を達成し、同時に効率を最適化し、安全性を向上させる必要がある。」と述べました。Vitalik は、現在の署名集約効率は各スロットあたり約 30000 の署名であり、ノードの要求が高く、できるだけ多くの検証者をサポートすることを期待しているが、ノードの要求は低く、プロトコルは非常にシンプルであると指摘しました。