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 個簽名，節點要求高，期望的目標是支持儘可能多的驗證器，節點要求低，協議相當簡單。