Pierre 解析以太坊隱私協議轉向抗量子系統的三項難題
Challenges of Quantum-Safe Privacy on Ethereum
場次摘要
Pierre 將以太坊隱私協議轉向抗量子系統的難題分為遷移、雜湊函數選擇與證明大小。他認為,遷移涉及工程與人員協作,必須預留時間。雜湊函數是隱私協議與部分抗量子證明系統的基礎,選擇須謹慎;這類證明的資料量也可能大幅增加,推高鏈上驗證費用,並加重待處理交易池節點的頻寬負擔。 針對遷移,他提出研究量子威脅下的資金恢復機制,並運用形式化驗證,也就是以數學方法檢查系統是否符合規格。他看好在二元體上運算的證明技術,有助採用較成熟的雜湊函數;對於大型證明,則提出交易池內聚合與改善編碼兩條路徑。不過,他所提的聚合方案仍屬草案。他估計編碼研究目前可讓證明縮小約一成,但未交代測試條件,也未提供理論上最小能縮至多少的確切數字。
值得記下的 5 件事
- [2:00]
遷移首先是工程與協作問題 Pierre 提醒,若遷移尚未完成,能破解現有密碼系統的量子電腦就已出現,便會形成風險
他提出量子威脅下的資金恢復機制與形式化驗證作為因應方向,但不宜據此認定特定機制已部署或保證能取回資金。
- [2:40]
雜湊函數選擇牽動協議基礎 Pierre 指出,雜湊函數同時支撐以雜湊為基礎的抗量子證明與多種隱私協議
他看好在二元體上運算的證明技術,認為這可能有助採用 SHA-256 或 BLAKE 等較成熟的雜湊函數;這是未來方向,而非已完成的替換。
- [3:40]
大型證明同時增加驗證與傳輸負擔 Pierre 表示,以雜湊為基礎的抗量子證明,大小會增加數個數量級
這不只提高鏈上驗證費用,也使暫存未確認交易的交易池節點承受頻寬壓力;他提醒,大型證明還可能成為攻擊交易池的切入點。
- [4:40]
聚合與改善編碼是兩條研究路徑 針對大型證明,Pierre 提出在交易池內合併多份證明,以及用更有效率的編碼縮小證明
他說聚合提案仍是草案,並估計 better.codes 研究目前可讓證明縮小約一成;這項估計未附測試條件,他也不記得理論下限的確切數字。
- [6:00]
格密碼也是值得探索的方向 在問答中,Pierre 表示自己對以數學格為基礎的密碼技術並不那麼悲觀
他認為隱私協議應研究這條路,尤其可用於隱私交易資料的加密。這是他的技術立場,不代表特定方案已證明安全或已完成部署。
更多來自 DEVCON 8
Arrow 的硬體 DAO 實驗:AI 協作、在地製造與責任分工
A DAO Shipped an Aircraft: What It Takes to Coordinate Atoms with Tokens
Thomas Garrison
Kohaku:以 SDK 將隱私與安全功能帶入以太坊錢包
Kohaku : privacy for everyone, by default
Nico、Vitalik
私密區塊鏈的取捨:隱私、去中心化與合約協作
Private State, Public Network: The Tradeoffs Behind Privacy
Zachary Williamson