Chainfeeds 導讀：
如果說 ZK 化是以太坊技術重構的起點，那麼「實時證明」與「原生 Rollup」則是這場擴容革命的核心落地環節。
文章來源：
https://mp.weixin.qq.com/s/bSC2CFjWax5hljxkcadyKQ
文章作者：
Cointelegraph
觀點：
Cointelegraph：在以太坊邁向 1 萬 TPS 的路線圖上，有一個不可或缺的技術突破點：實時證明（real-time proving）。Succinct 聯合創始人 Uma Roy 如此解釋：「實時證明，指的是能夠在不到 12 秒內，對以太坊主網的一個區塊完成 ZK 證明的生成過程」。這意味著什麼？一旦實現實時證明，以太坊就能將其區塊驗證邏輯納入協議本身，並在不犧牲可驗證性的前提下，幾乎「任意」地提高 Gas 上限，從而實現 L1 的大規模擴容（編者注：以太坊主網每個區塊的生成時間為 12 秒，因此「實時」是指在每個區塊週期內完成證明）。不過要實現實時證明，僅靠 zkVM 技術本身還不夠，還需要對以太坊協議層進行變更。以太坊基金會的 Ladislaus 指出，預計將在明年 Glamsterdam 升級中引入一個關鍵機制 ——「區塊驗證與立即執行的解耦」，這將為 Prover（證明者）提供更充裕的時間，在一個完整 slot 內生成 zkEVM 證明，從而實現真正意義上的實時處理。以太坊基金會目前為 Prover 設定的初步技術目標是：硬件成本控制在 10 萬美元以內，電力消耗低於 10 千瓦，大約相當於一臺特斯拉 Powerwall 家用電池的耗電水平。這個數字聽起來並不「輕量」，以太坊批評者 Justin Bons（Cyber Capital 創始人）就稱其為「遠超 Solana 驗證節點的瘋狂硬件要求」，但這其實是混淆了兩種完全不同的角色。以太坊基金會協議協調團隊的 Ladislaus 指出：Prover 和 Validator（驗證者）的職責不同，不能混為一談 —— 驗證者運行節點，參與共識；而 Prover 的任務是生成 ZK 證明，一旦某筆交易的 ZK 證明被正確生成，網絡中只需驗證該證明是否正確即可，而不需要重複執行交易。正因為此，Ladislaus 表示樂觀，「只要能找到一個滿足硬件條件的誠實證明者，以太坊就能繼續安全運行，我們故意將門檻壓在數據中心以下，甚至即使不是大型機構或數據中心，只要是有技術能力的個人開發者，也能在家中運行 Prover」。在今年 7 月的一次 EthProofs 會議中，研究員 Justin Drake 就提到了多個可能的風險隱患。例如惡意攻擊者可能會向區塊中插入所謂的「prover killer（證明者殺手）」，從而導致整個網絡驗證機制失效；又或者網絡活躍度驟降，產生的交易手續費收入不足以支付生成 ZK 證明的成本，從而影響網絡可持續性。以太坊基金會協議協調團隊的 Ladislaus 表示，整個過渡過程可能需要幾年時間，尤其要關注安全方面的隱患。ZK 虛擬機（zkVM）作為一項仍處於早期階段的複雜技術，極有可能會出現各種漏洞。但隨著生態成熟，我們可以通過引入多樣化的證明系統（proof diversity）、激勵機制的完善、以及形式化驗證等手段，逐步提升其在以太坊 L1 上的可行性與魯棒性。
內容來源
