Vitalik Buterin：ZK-SNARKs等效率低下，建议使用「并行化与聚合树」方案

4 月 9 日，2024 香港 Web3 嘉年华中，以太坊联合创始人 Vitalik Buterin 在由 DRK Lab 主办的「Web3 学者峰会 2024」发表主旨演讲《Reaching the Limits of Protocol Design》，其表示，当前 ZK-SNARKs、MPC、FHE 等技术存在效率与安全问题，其中，以太坊 Slot 出块时间为 12 秒，「普通」区块验证时间约为 400 毫秒，ZK-SNARK 证明时间约为 20 分钟，以太坊的目标是实现实时证明。 对于当前效率低下问题，Vitalik 表示解决方案为「并行化与聚合树」（Parallelization + aggregation trees）、使用 SNARK algos 与哈希提升效率、使用 ASIC 进行 ZK 硬件加速。此外，Vitalik 表示当前签名聚合效率为每个 slot 约 30000 个签名，节点要求高，期望的目标是支持尽可能多的验证器，节点要求低，协议相当简单。