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个签名,节点要求高,期望的目标是支持尽可能多的验证器,节点要求低,协议相当简单。