密码学

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

Vitalik 最新博文闡述對技術樂觀主義、AI 風險、區塊鏈和密碼學等的看法

ChainCatcher 消息,Vitalik Buterin 在最新博文《My techno-optimism》中,闡述了對最近圍繞技術樂觀主義、人工智慧風險以及避免 21 世紀極端中心化方法爭論、區塊鏈和密碼學等看法。其中,Vitalik 表示,人工智慧與其他技術有著根本的不同,值得特別小心。在以太坊中,他們有意試圖確保堆疊的許多部分都是去中心化的:確保沒有一個單一的代碼庫控制超過一半的權益證明網絡,試圖抵制大型權益池的主導地位,改善地理分散等。基本上,以太坊實際上正試圖實現一個基於市場的社會的古老自由主義夢想。在某種程度上,這是有效的:Prysm 客戶端的主導地位從 70% 以上下降到 45% 以下。但這並不是一種自動的市場過程:這是人類意願和協調行動的結果。區塊鏈使能夠創建具有"共享硬碟驅動器"的經濟和社會結構,而無需依賴於中央化的行為體。加密貨幣使個人能夠儲存資金並進行金融交易,就像在互聯網出現之前使用現金一樣,而無需依賴於可能隨意改變規則的信任第三方。它們還可以充當備用的反偽造機制,使攻擊和垃圾郵件對那些沒有或不想透露其真實身份的用戶來說變得昂貴。帳戶抽象化,尤其是社交恢復錢包,可以保護我們的加密資產,未來還有可能保護其他類資產,而不過分依賴於中心化的中介機構。 零知識證明可用於隱私保護,使用戶能夠證明關於自己的事情,而無需透露私人信息。例如,將數字護照簽名封裝在 ZK-SNARK 中,以證明你是某個國家的獨特公民,而不必透露你是具體哪個公民。類似這樣的技術可以讓我們保持隱私和匿名性的好處,同時仍然能夠獲得安全性保證,並打擊垃圾郵件和不良行為者。
2023-11-28
ChainCatcher 與創新者共建Web3世界