Vitalik Buterin：ZK-SNARKs、MPC、FHE 等效率低下，需实现实时证明

Techub News 消息，以太坊联合创始人 Vitalik Buterin 在「2024 香港 Web3 嘉年华」上以《Reaching the Limits of Protocol Design》为题发表主旨演讲。Vitalik 表示，当前 ZK-SNARKs、MPC、FHE 等技术存在效率与安全问题，其中，以太坊 Slot 出块时间为 12 秒，「普通」区块验证时间约为 400 毫秒，ZK-SNARK 证明时间约为 20 分钟，以太坊的目标是实现实时证明。针对该问题，Vitalik 表示解决方案为「并行化与聚合树」（Parallelization + aggregation trees）、使用 SNARK algos 与哈希提升效率、使用 ASIC 进行 ZK 硬件加速。