Vitalik Buterin：ZK-SNARKs等效率低下，以太坊目標是實現實時證明

以太坊創始人Vitalik Buterin於2024香港Web3嘉年華中發表《Reaching the Limits of Protocol Design》為題的主旨演講，Vitalik Buterin表示，ZK-SNARKs、MPC、FHE等技術存在效率與安全問題，以太坊Slot出塊時間為12秒，普通區塊驗證時間約為400毫秒，ZK-SNARK證明時間約為20分鐘，以太坊的目標是實現實時證明。
對於當前效率低下問題，Vitalik表示解決方案為“並行化與聚合樹”（Parallelization + aggregation trees）、使用SNARK algos與哈希提升效率、使用ASIC進行ZK硬件加速。