「金色财经」Vitalik Buterin：ZK-SNARKs等效率低下，以太坊目标是实现实时证明

「金色财经」以太坊创始人Vitalikbuterin于2024年在香港Web3嘉年华中发表了金色财经报道《ReachingtheLimitsofProtocolDesign》Vitalikbuterin表示，主题演讲，ZK-SNARKs、MPC、以太坊Slot出块时间为12秒，FHE等技术存在效率和安全问题。验证普通区块的时间约为400毫秒，ZK-SNARK证明时间约为20分钟，以太坊的目标是实现实时证明。对于目前效率低下的问题，Vitalik表示，解决方案是“并行化和聚合树”（Parallelizationaggregationtrees）、使用SNARKalgos和哈希来提高效率，使用ASIC来加速ZK硬件。