Vitalik：需要用密码学达到协议的极限，同时优化效率和提升安全性

ChainCatcher 消息，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 表示，“ZK-SNARKs、MPC、FHE（完全同态加密）和 BLS 聚合等基于高级密码学的协议虽发展迅速，但同时也存在效率和安全问题，其中效率问题可用并行化和 aggregation trees、提升效率（用SNARK 算法和哈希），以及 ASIC 来解决；ZK-SNARK 电路漏洞问题可由安全委员会、multi-provers 来解决，未来可用AI形式验证来解决。我们需要用密码学达到协议的极限，同时优化效率和提升安全性。”

Vitalik 指出，当前签名聚合效率为每个 slot 约 30000 个签名，节点要求高，期望的目标是支持尽可能多的验证器，节点要求低，协议相当简单。