返回快訊

以太坊聯合創始人Vitalik提議遞歸STARK內存池EIP-8288

以太坊聯合創始人Vitalik Buterin發文介紹EIP-8288,希望在Hegota之後的I-star升級中納入遞歸STARK內存池,把簽名與證明移出核心執行路徑,在內存池裏聚合後再上鍊。

交易攜帶依賴幀,聲明“某簽名或某條件成立”,原始大體積證明留在鏈下。節點週期性收攏未過期交易、生成遞歸STARK並廣播封裝;區塊構建者再爲擬打包交易出最終證明。每個區塊鏈上額外負擔約一個100至300KB的STARK,外加每條待證聲明96字節。量子安全隱私交易的Gas有望從約1000萬降至數萬。方案不改EVM即可接入Falcon、ML-DSA等後量子簽名,並支持私密賬戶抽象。遞歸證明的候選指令集指向RISC-V。提案與Thomas Coratger共同起草,建立在EIP-8141幀交易之上,目前爲草案。

帶寬邏輯是節點互傳交易正文加一份聚合證明,而不是每筆附帶完整後量子簽名。構建者只對最終入塊集合再證一次,避免執行層爲每筆重放昂貴驗證。

市場機制上,這是證明成本從執行層搬家到內存池與構建者。受益方是隱私協議、後量子錢包與賬戶抽象錢包;承壓方是仍按每筆驗證收費的舊預編譯路徑,以及必須升級證明器的節點與中繼。Gas下降會改變隱私交易的可發送頻率,不直接改變ETH發行。

I-star尚未鎖定範圍。草案能寫進分叉,取決於客戶端與構建者是否接受RISC-V證明迴路的工程負擔。

來源:公開信息

ABAB AI 解讀

後量子簽名體積大,直接塞進EVM會把隱私和抗量子變成奢侈品。Vitalik選擇不改虛擬機,改內存池:把驗證從“每個節點執行一次”變成“網絡先遞歸壓縮,鏈上只留一份證明”。這是Frames之後的下一步,執行層繼續跑舊合約,密碼學換代走旁路。RISC-V被點名爲證明語句的標準機,等於給未來所有新算法預定同一套電路,而不是每來一個算法就加一個預編譯。

資本含義在L2與錢包:誰先接依賴幀,誰就能把百萬Gas的隱私路徑做成常規轉賬。構建者獲得新的證明算力市場,中繼要會驗證STARK纔會轉發。Coinbase斯坦福抗量子討論走的是比特幣輸出類型,以太坊走的是內存池遞歸,兩條鏈用不同接口消化同一物理威脅。

對照EIP-4844把數據丟到blobs、以及各種簽名聚合。行業從執行優化進入證明優化:貴的不再是運算本身,是誰有權把運算摺疊進一個塊頭附件。

這屬於技術替代:鏈上逐筆驗籤被內存池遞歸證明替代。機制是體積問題不進EVM,時間表綁在I-star,指令集綁在RISC-V,隱私與抗量子共享同一條管道。

ABAB News · 認知定律

  1. 簽名太貴時,先改內存池,不必先改虛擬機

  2. 一塊證明攤掉一區塊的驗籤,Gas才能從千萬掉到數萬

  3. 新算法能接入,是因爲證明機先被規定成同一套指令