PANews 4月9日消息,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個簽名,節點要求高,期望的目標是支援盡可能多的驗證器,節點要求低,協議相當簡單。