Vitalik Buterin香港主題演講:協議過去10年迅速發展,但有效率、安全兩大議題

2024 香港Web3 嘉年華期間,以太坊聯合創始人Vitalik Buterin 在DRK Lab主辦的「Web3 學者高峰會2024」上發表主題演講《Reaching the Limits of Protocol Design》。

他介紹到,2010年代,基於基本密碼學的協議是哈希、簽名。隨後,協議發展迅速。 2020年代,以高階密碼學為基礎的協定有ZK-SNARKS、2PC、MPC、FHE(完全同態加密)、聚合(包括透過IVC、ICD等方式),還有高階P2P網路。

Vitalik 表示,目前ZK-SNARKs、MPC、FHE等技術有效率與安全問題,其中,以太坊Slot出塊時間為12秒,「普通」區塊驗證時間約400毫秒,ZK-SNARK證明時間約為20分鐘,以太坊的目標是實現即時證明。其中效率問題有幾個解決方法,包括並行化(Parallelization),聚合樹(aggregation trees)、提升效率(用SNARK 演算法和雜湊),以及ASIC加速硬體解決。

而ZK-SNARKs 電路漏洞問題可由安全委員會、多證明機制(multi-provers)來解決。未來, AI 可以進行幫助debug,進一步解決。

「我認為一個有趣的未來方向是使用人工智慧工具,潛在地使用新工具進行形式驗證。例如證明zkEVM中沒有漏洞。」他說,」也許我們將來可能真的能夠實現一個沒有bug的世界。這有點瘋狂。”

此外,在談到簽章聚合效率時,Vitalik Buterin指出當前情況是每個時隙約有30,000個簽名,這需要高節點需求。期望目標是盡可能支援更多的驗證者,同時降低節點需求,採用相對簡單的協定。而根據理論限制,每位參與者每個時隙需要1 bit的數據,計算方面沒有下限限制。

「所以結論是,基本上,我們需要考慮的是我們需要協議來達到你能用密碼學做的極限,我們已經到了這樣的地步,我們的密碼學比幾十年前強大得多,但它可以更強大,在這一點上,我認為我們真的需要開始考慮什麼是上限,以及我們如何才能真正達到上限。」Vitalik在結尾時說。

Total
0
Shares
Related Posts