TechFlowの報道によると、イーサリアムの共同創設者であるVitalik Buterin氏は2024年香港Web3フェスティバルでの基調講演「Reaching the Limits of Protocol Design(プロトコル設計の限界へ)」の中で、現在のZK-SNARKsやMPC、FHEなどの技術には効率性と安全性の課題があると指摘した。具体的には、イーサリアムのSlot生成時間は12秒、通常ブロックの検証時間は約400ミリ秒である一方で、ZK-SNARKの証明生成時間は約20分に及び、イーサリアムの目標はリアルタイムでの証明を実現することだと述べた。
この効率性の課題について、Vitalik氏は「並列化と集約ツリー(Parallelization + aggregation trees)」、SNARKアルゴリズムとハッシュによる効率向上、およびASICを用いたZKハードウェアアクセラレーションを解決策として提示した。




