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