Vitalik香港Web3嘉年華演講：追求密碼學的極限

2024 香港 Web3 嘉年華期間，以太坊聯合創始人 Vitalik Buterin 在由 DRK Lab 主辦的“Web3 學者峯會 2024 ”上發表主旨演講《Reaching the Limits of Protocol Design》。

他介紹到， 2010 年代，基於基本密碼學的協議是哈希、籤名。隨後，協議發展迅速。2020 年代，基於高級密碼學的協議有 ZK-SNARKS、 2 PC、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 指出當前情況是每個時隙約有 30000 個籤名，這需要高節點需求。期望目標是盡可能支持更多的驗證者，同時降低節點需求，採用相對簡單的協議。而根據理論限制，每個參與者每個時隙需要 1 bit 的數據，計算方面沒有下限限制。

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

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。