【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硬件加速。