newsence
來源篩選

Post-Quantum (PQ) Interoperability Meeting #30, March 11, 2026

Ethereum Magicians

This meeting minutes document tracks the progress of Ethereum's post-quantum signature implementation across various devnets, focusing on client readiness, ZK-friendly encoding, and validator key management strategies.

newsence

後量子加密（PQ）互操作性會議 #30，2026年3月11日

Ethereum Magicians
大約 4 小時前

AI 生成摘要

本會議紀錄追蹤了以太坊在多個開發網上實作後量子簽章的進展，重點討論各客戶端的準備情況、ZK 友善編碼以及驗證者金鑰管理的策略。

議程

UTC 日期與時間

資源

  • 前次會議：

  • 協調人電子郵件：

  • 協調人 Telegram：@corcoranwill

  • Telegram： — 討論串：#general, #devnet-1, #devnet-2, #devnet-3, #devnet-4, #devnet-5, #tooling, #leanVM, #onboarding

高層級文件

  • ：lean 共識客戶端互操作性

  • ：PQ 簽名簽署與驗證

  • ：單層 PQ 簽名聚合

  • ：聚合者角色分離 + 子網聚合

  • ：遞迴聚合

概覽

A. Devnet-3：實作狀態 (Devnet N)

B. Devnet-4：規格狀態 (Devnet N+1)

C. Devnet-5：早期規格討論

D. 指標與可觀測性

前次會議紀錄 (第 29 次會議 — 2026 年 3 月 4 日)

A. Devnet-3：實作狀態

客戶端就緒情況

客戶端 | 實作 | 規格測試 | 互操作性 | Docker | 備註
---|---|---|---|---|---
| ✅ | ✅ | ✅ | ✅ | Devnet-3 已合併至主分支。後續 PR 準備中。計劃上游規格變更。正與其他客戶端進行互操作性測試。
| 🏗️ | ✅ | ✅ | ✅ | 在長期運行的測試網上運行。創世後啟動時存在同步問題。高 slot 下的無效區塊/狀態路由問題調查中。
| 🏗️ | ✅ | ✅ | ✅ | 已建立 dev2 和 dev3 分支。已加入檢查點同步（checkpoint sync）但仍有問題（重啟後節點不接受新區塊）。備註：Kamil 卸任 Quadrivium CEO 並加入 EF。Ruslan 現為主要聯繫人。
| ✅ | ✅ | ✅ | ✅ | 修復了分叉區塊重放漏洞。與 Qlean + Ethlambda 組成的長期測試網在 20,000+ slots 保持穩定。日誌中加入了 commit hash。
| ✅ | ✅ | ✅ | ✅ | 已棄用 Devnet-2。修復了非最終化運行中的 16 個問題。鏈未最終化時出現 OOM 錯誤（調查中）。增加了與 Ream 的 leanSig XMSS 兼容性測試。
| 🏗️ | ✅ | ✅ | ✅ | 完成 Devnet-2（leanMultisig 整合、檢查點同步）。與 leanQuickStart 的本地多客戶端互操作正常（證明/最終化）。一個 PR 待審核。正在開發持久化存儲（BoltDB vs PebbleDB）。
| ❌ | ❌ | ❌ | ❌ | 無代表出席。
| ❌ | ❌ | ❌ | ❌ | 無代表出席。
| ❌ | ❌ | ❌ | ❌ | 無代表出席。

圖例：✅ 完成 | 🏗️ 進行中 | ❌ 未開始 | ❓ 未知

長期運行 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 分鐘)