後量子加密（PQ）互操作性會議 #30，2026年3月11日
本會議紀錄追蹤了以太坊在多個開發網上實作後量子簽章的進展，重點討論各客戶端的準備情況、ZK 友善編碼以及驗證者金鑰管理的策略。
議程
UTC 日期與時間
資源
-
協調人電子郵件：will@ethereum.org
-
協調人 Telegram：@corcoranwill
-
Telegram：PQ Interop — 討論串：#general, #devnet-1, #devnet-2, #devnet-3, #devnet-4, #devnet-5, #tooling, #leanVM, #onboarding
高層級文件
-
Devnet-0 ：lean 共識客戶端互操作性
-
Devnet-1 ：PQ 簽名簽署與驗證
-
Devnet-2 ：單層 PQ 簽名聚合
-
Devnet-3 ：聚合者角色分離 + 子網聚合
-
Devnet-4 ：遞迴聚合
概覽
A. Devnet-3：實作狀態 (Devnet N)
B. Devnet-4：規格狀態 (Devnet N+1)
C. Devnet-5：早期規格討論
D. 指標與可觀測性
前次會議紀錄 (第 29 次會議 — 2026 年 3 月 4 日)
A. Devnet-3：實作狀態
客戶端就緒情況
| 客戶端 | 實作 | 規格測試 | 互操作性 | Docker | 備註 |
|---|---|---|---|---|---|
| Zeam | ✅ | ✅ | ✅ | ✅ | Devnet-3 已合併至主分支。後續 PR 準備中。計劃上游規格變更。正與其他客戶端進行互操作性測試。 |
| Ream | 🏗️ | ✅ | ✅ | ✅ | 在長期運行的測試網上運行。創世後啟動時存在同步問題。高 slot 下的無效區塊/狀態路由問題調查中。 |
| Qlean | 🏗️ | ✅ | ✅ | ✅ | 已建立 dev2 和 dev3 分支。已加入檢查點同步（checkpoint sync）但仍有問題（重啟後節點不接受新區塊）。備註：Kamil 卸任 Quadrivium CEO 並加入 EF。Ruslan 現為主要聯繫人。 |
| Lantern | ✅ | ✅ | ✅ | ✅ | 修復了分叉區塊重放漏洞。與 Qlean + Ethlambda 組成的長期測試網在 20,000+ slots 保持穩定。日誌中加入了 commit hash。 |
| Ethlambda | ✅ | ✅ | ✅ | ✅ | 已棄用 Devnet-2。修復了非最終化運行中的 16 個問題。鏈未最終化時出現 OOM 錯誤（調查中）。增加了與 Ream 的 leanSig XMSS 兼容性測試。 |
| Gean | 🏗️ | ✅ | ✅ | ✅ | 完成 Devnet-2（leanMultisig 整合、檢查點同步）。與 leanQuickStart 的本地多客戶端互操作正常（證明/最終化）。一個 PR 待審核。正在開發持久化存儲（BoltDB vs PebbleDB）。 |
| Lighthouse | ❌ | ❌ | ❌ | ❌ | 無代表出席。 |
| Grandine | ❌ | ❌ | ❌ | ❌ | 無代表出席。 |
| Nimbus | ❌ | ❌ | ❌ | ❌ | 無代表出席。 |
圖例：✅ 完成 | 🏗️ 進行中 | ❌ 未開始 | ❓ 未知
長期運行 Devnet-3 狀態
-
Lantern + Qlean + Ethlambda：穩定，最終化超過 20,000 個 slots。
-
6 節點測試網 (Katya)：使用 Ethlambda/Grandine 的臨時替代方案運行中。
-
恢復測試成功：測試網在約 500 slots 時停滯，通過檢查點同步恢復至 2,500 slots。
B. Devnet-4：規格狀態
規格 PR 狀態
-
Anshal (Zeam) 提交了 PR，正在處理 Gajinder 的評論。
-
待核心變更核准後將處理測試案例。
-
PM 倉庫中的高層級設計文檔需要更新 (Anshal)。
阻礙議題：ZK 友善編碼
-
問題：目前的 leanMultisig API 未使用 leanSig 綁定。
-
計劃：基於 Benedict 的論文採用 ZK 友善編碼。
-
狀態：leanSig 或 leanMultisig 尚未就緒。
-
Emil：正在處理中，但由於優先級競爭，時間表尚不明確。
-
客戶端在全面實作 Devnet-4 前需等待此項完成。
子網配置
-
問題：規格中子網數量硬編碼為 1。
-
決議：移至鏈配置中 (Anshal 將提交 PR)。
-
未來：測試多個子網將需要更多驗證者/機器。
-
資源機會：Dev (透過 Kamil) 可能協調 600 台大學機器進行大規模 P2P 測試。
C. Devnet-5：早期規格討論
問題陳述
目前提議者（proposer）不對區塊進行簽名——僅簽署提議者證明（proposer attestation）。為了更好的安全性，希望兩者都簽署。
挑戰：一次性簽名限制防止在同一個 slot 使用相同密鑰簽署兩個不同的訊息。
討論方案
| 方案 | 描述 | 缺點 |
|---|---|---|
| ZK SNARK | 隱藏簽名使兩者無法關聯 | 目前非 ZK，僅具簡潔性 |
| 單一訊息 | 將兩個訊息視為一個 | 依賴性問題——第二個訊息依賴於第一個的簽名 |
| 雙倍壽命 | 偶數索引給證明，奇數給提議者 (2^32 → 有效 2^31) | 2 倍密鑰生成時間 |
| 獨立密鑰 | 提議者使用基於鏈的簽名（每次更新公鑰） | 每個驗證者兩個密鑰，複雜度高 |
| 短 + 長 XMSS | 提議者用短壽命，證明者用長壽命 | 密鑰管理複雜 |
Devnet-5 決議
-
做法：每個驗證者生成 2 個密鑰，創世時皆註冊於狀態中。
-
優點：提議者證明獨立簽署 → 可以正常聚合。
-
權衡：2 倍密鑰生成時間，但協議簡潔性值得。
-
Emil：LeanVM 中對此的 API 變更非常直接。
開放問題
- 主網的長期解決方案待定（待 LeanVM 支持後可能重新考慮 ZK）。
D. 指標與可觀測性
Devnet-3 指標
-
要求：所有客戶端實作 Devnet-3 指標（誰是聚合者、哪個子網）。
-
原因：在擴展到更多驗證者之前需要這些數據。
-
儀表板：待客戶端回報指標後，Katya 將進行更新。
當前問題
| 客戶端 | 問題 |
|---|---|
| Ream | 創世後啟動的同步問題；高 slot 的無效區塊狀態路由 |
| Qlean | 檢查點同步在重啟後不接受新區塊 |
| Ethlambda | 鏈未最終化時出現 OOM |
行動清單
| 負責人 | 行動項目 | 狀態 |
|---|---|---|
| Anshal (Zeam) | 處理 Devnet-4 規格 PR 中 Gajinder 的評論 | 本週 |
| Anshal (Zeam) | 更新 Devnet-4 高層級設計文檔 | 待辦 |
| Anshal (Zeam) | 提交 PR 將子網數量從硬編碼改為配置 | 待辦 |
| Emil | 完成 leanSig/leanMultisig 中的 ZK 友善編碼 | 進行中 (無預估時間) |
| Ream | 調查同步問題（創世後啟動、無效區塊狀態路由） | 進行中 |
| Qlean | 調試檢查點同步（重啟後不接受區塊） | 進行中 |
| Ethlambda | 修復失去最終化時的 OOM 問題 | 進行中 |
| Gean | 完成持久化存儲實作 (BoltDB/PebbleDB) | 本週 |
| Katya | 待客戶端就緒後更新 Devnet-3 指標儀表板 | 待辦 |
| Kamil | 聯繫 Will 與 Dev 關於 600 台大學機器進行 P2P 測試事宜 | 待辦 |
| 所有客戶端 | 實作 Devnet-3 指標（聚合者、子網） | 盡快 |
| 所有客戶端 | 審閱 Devnet-4 規格 PR | 持續進行 |
會議時間： 2026 年 3 月 11 日星期三 14:00 UTC (60 分鐘)
1 則貼文 - 1 位參與者
[閱讀完整主題](https://ethereum-magicians.org/t/post-quantum-pq-interop-30-march-11-2026/27907)