← 回到 DEVCON 8

Pierre 解析以太坊隱私協議轉向抗量子系統的三項難題

Challenges of Quantum-Safe Privacy on Ethereum

場次摘要

Pierre 將以太坊隱私協議轉向抗量子系統的難題分為遷移、雜湊函數選擇與證明大小。他認為,遷移涉及工程與人員協作,必須預留時間。雜湊函數是隱私協議與部分抗量子證明系統的基礎,選擇須謹慎;這類證明的資料量也可能大幅增加,推高鏈上驗證費用,並加重待處理交易池節點的頻寬負擔。 針對遷移,他提出研究量子威脅下的資金恢復機制,並運用形式化驗證,也就是以數學方法檢查系統是否符合規格。他看好在二元體上運算的證明技術,有助採用較成熟的雜湊函數;對於大型證明,則提出交易池內聚合與改善編碼兩條路徑。不過,他所提的聚合方案仍屬草案。他估計編碼研究目前可讓證明縮小約一成,但未交代測試條件,也未提供理論上最小能縮至多少的確切數字。

值得記下的 5 件事

  1. [2:00]
    遷移首先是工程與協作問題 Pierre 提醒,若遷移尚未完成,能破解現有密碼系統的量子電腦就已出現,便會形成風險

    他提出量子威脅下的資金恢復機制與形式化驗證作為因應方向,但不宜據此認定特定機制已部署或保證能取回資金。

  2. [2:40]
    雜湊函數選擇牽動協議基礎 Pierre 指出,雜湊函數同時支撐以雜湊為基礎的抗量子證明與多種隱私協議

    他看好在二元體上運算的證明技術,認為這可能有助採用 SHA-256 或 BLAKE 等較成熟的雜湊函數;這是未來方向,而非已完成的替換。

  3. [3:40]
    大型證明同時增加驗證與傳輸負擔 Pierre 表示,以雜湊為基礎的抗量子證明,大小會增加數個數量級

    這不只提高鏈上驗證費用,也使暫存未確認交易的交易池節點承受頻寬壓力;他提醒,大型證明還可能成為攻擊交易池的切入點。

  4. [4:40]
    聚合與改善編碼是兩條研究路徑 針對大型證明,Pierre 提出在交易池內合併多份證明,以及用更有效率的編碼縮小證明

    他說聚合提案仍是草案,並估計 better.codes 研究目前可讓證明縮小約一成;這項估計未附測試條件,他也不記得理論下限的確切數字。

  5. [6:00]
    格密碼也是值得探索的方向 在問答中,Pierre 表示自己對以數學格為基礎的密碼技術並不那麼悲觀

    他認為隱私協議應研究這條路,尤其可用於隱私交易資料的加密。這是他的技術立場,不代表特定方案已證明安全或已完成部署。

下載摘要 下載 Word 摘要(.docx)

更多來自 DEVCON 8

訂閱