以太坊聯合創始人 Vitalik Buterin：後續分叉將全面走向遞歸STARK
以太坊聯合創始人 Vitalik Buterin 在 ETHShanghai 2026 遠程主旨演講中，把遞歸 STARK 內存池方案 EIP-8288 作爲核心議題，稱其要同時緩解抗量子簽名、隱私交易與主網擴容之間的衝突。
現行抗量子簽名驗證約需 10 萬至 30 萬 gas，隱私交易在精心工程下約 30 萬 gas，若再疊加抗量子則可能升至約 1000 萬 gas。他警告，若人人直接上鍊驗證這類對象，主網吞吐會從約 25 筆每秒掉到約 0.25 筆。方案是把重計算留在內存池：節點約每 500 毫秒收集依賴、生成遞歸證明，鏈上每塊只驗證一份約 100 至 300kb 的 STARK，另加每條陳述約 96 字節。
他希望該草案進入 Hegota 之後的 I-star 分叉，並作爲 Frame Transactions 的下一步。效果包括把抗量子隱私成本壓到數萬 gas，讓 Falcon、ML-DSA 等新簽名不必改以太坊虛擬機，只要客戶端先包一層 STARK。遞歸證明需要統一指令集，目前首選 RISC-V，等於把一種規範 ISA 寫進協議。基金會把全面抗量子準備瞄向 2029 年 12 月。
出塊與最終性屬於另一條並行路線。基金會 2026 年初的技術草圖提出把 12 秒出塊、約 16 分鐘最終性逐步壓到數秒級出塊與約 6 至 16 秒最終性；Vitalik 本人描述過 8、6、4、3 甚至 2 秒槽位的階梯。演講側同時提到，證明成本下降後，二層向主網提交間隔有望從數分鐘收到約一分鐘或更短。人工智能被他用來說明形式化驗證正在加速，使更復雜的密碼系統也能被機器檢查。
市場機制是協議規則重定價。買方是要抗量子與隱私又不想堵死主網的應用和二層，賣方是能在內存池裏做聚合證明的客戶端與證明市場。事件驅動來自峯會演講把已有草案再次推到升級議程。受益方是 STARK 證明器和 RISC-V 工具鏈，承壓方是把重驗證仍塞進執行層的舊錢包與排序器。以太坊不在此日改出塊時間，改的是下一兩年分叉把什麼密碼學寫成默認。
來源：公開信息
ABAB AI 解讀
Vitalik 近一年把以太坊主線從“吞吐口號”扭到“抗量子加隱私還不能把主網卡死”。零知識證明過去十年把計算搬出鏈上，遞歸 STARK 是把這一搬遷寫進內存池，而不是再給虛擬機加預編譯。Hegota 收窄範圍、I-star 再接 EIP-8288，是把大改拆成可排期的分叉，避免再出現一次過大的合併式升級。
資本與工程資源跟着證明市場走。二層已經靠有效性證明結算，主網若規定每塊只喫一份遞歸證明，證明器就會從可選基礎設施變成協議必需品。RISC-V 作爲規範 ISA，意味着客戶端、審計和形式化工具要圍着同一套指令轉，人工智能加速驗證只會強化這條標準化。錢流向能實時出 STARK 的硬件和軟件，而不是再炒一層“新虛擬機預編譯政治”。
對標對象是比特幣腳本極簡、Solana 把執行堆在單一高性能機器、以及各家二層各用一套證明系統。以太坊選的是主網變瘦、證明變厚。行業階段是從擴容競賽轉入密碼學默認值競賽：誰先把抗量子和隱私的單位成本打到普通轉賬附近，誰就定義下一輪賬戶抽象。
結構變化是技術替代。鏈上不再逐條驗證重對象，而是驗證“驗證已經發生”的證明。機制是：量子安全把簽名和證明變得更大更貴，若不聚合，隱私與安全會直接喫掉吞吐量；遞歸內存池把費用從執行層轉移到節點並行計算，於是擴容、隱私、抗量子可以同向移動，而不再三選二。
ABAB News · 認知定律
最貴的安全若逐條上鍊，吞吐會先死
協議一旦指定證明格式，證明器就變成新的礦工
分叉排期比白皮書更能決定哪套密碼學成爲默認