以太坊正邁向每秒1萬次交易的擴展階段，關鍵技術為零知識證明（ZK）。本文探討實時證明與原生匯總在實現擴容中的重要性。通過實時證明，以太坊可在12秒內完成區塊驗證，顯著提高擴容能力。實現這一目標需對協議層進行變更，預計在未來升級中引入新的機制。硬件方面，成為證明者的成本預計會降至1萬美元以內。同時，原生匯總可以提升安全性與靈活性，未來或將更好地服務於不同的用戶需求及應用場景。
以太坊正在邁向1萬TPS的擴容新時代，ZK）技術正成為關鍵驅動力，本文是我們整理的《以太坊，本文是我們整理的《以太坊tps 路線圖》第二篇，prover 的參與邏輯、 l1切換過程中的安全挑戰
如果說ZK化是以太坊技術重構的起點，那麼「實時證明」與「原生匯總」則是這場擴容革命的核心落地環節。
本篇我們將繼續深入探討以太坊主網上如何實現12ZK 實時證明、成為供prover 的硬件門檻與激勵機制是怎樣的、原生滾動將如何改寫以太坊l2的格局。
01 、實時證明：以太坊擴容的關鍵拼圖
在以太坊邁向1萬tps的路線圖上，有一個不可或缺的技術突破點：實時證明（實時證明）。
簡潔的聯合創始人uma roy：「實時證明：「實時證明，12秒內，對以太坊主網的一個區塊完成
這意味著什麼？一旦實現實時證明，以太坊就能將其區塊驗證邏輯納入協議本身，並在不犧牲可驗證性的前提下，幾乎「任意」地提高，幾乎「任意」地提高，從而實現l1 的大規模擴容（編者註：以太坊主網每個區塊的生成時間為12秒，因此「實時」是指在每個區塊週期內完成證明）。 ）
不過要實現實時證明，僅靠ZKVM技術本身還不夠，還需要對以太坊協議層進行變更。 ，還需要對以太坊協議層進行變更。
以太坊基金會的ladislaus指出，預計將在明年glamsterdam升級中引入一個關鍵機制- – 「區塊驗證與立即執行的解耦」，這將為，prover （證明者），在一個完整
技術實現方面，簡潔的SP1 HyperCube ZKVM，在200張gpu的集群下，能夠對1萬個主網區塊中的93％實時生成證明。
羅伊（Roy），將這個成功率提升到，99％。儘管一些難以處理的區塊仍可能導致極少數區塊無法及時生成證明，但協議設計中已考慮容錯機制，例如允許跳過該區塊，進入下一個區塊繼續處理。 ，進入下一個區塊繼續處理。
更進一步，以太坊還在考慮將區塊時間從以太坊還在考慮將區塊時間從秒縮短至秒縮短至6 秒（作為glamsterdam的另一潛在提案），這將顯著提升用戶體驗和交易確認速度
Roy並不擔心，畢竟ZK技術每年性能都能提升10倍，就算區塊時間減半，也能應對。 ，也能應對。
6 linealinea也宣布其網絡上已能實現100％ZK證明覆蓋，linea linea tps僅為2，但這並非性能限制，而是受限於使用需求。 ，而是受限於使用需求。
值得注意的是，linea區塊間隔僅2秒，zk證明通過智能合約上傳至以太坊l1驗證，這一模型，或許正是未來主網「
02、以太坊ZK 證明者的硬件門檻高麼？
想要實時生成ZK證明，當然離不開強大的計算資源。 ，當然離不開強大的計算資源。
prover：硬件成本控制在：硬件成本控制在10萬美元以內，電力消耗低於10千瓦
這個數字聽起來並不「輕量」，以太坊批評者賈斯汀·鮑恩斯（Justin Bons）（網絡資本）就稱其為「遠超
以太坊基金會協議協調團隊的ladislaus指出：prover和驗證器（驗證者）的職責不同，不能混為一談，不能混為一談，驗證者運行節點
正因為此，Ladislaus表示樂觀，「只要能找到一個滿足硬件條件的誠實證明者，以太坊就能繼續安全運行，我們故意將門檻壓在數據中心以下，甚至即使不是大型機構或數據中心，只要是有技術能力的個人開發者，prover」。
目前這個10萬美元的硬件配置只是初始目標，以太坊基金會研究員索菲亞·金（Sophia Gold），到今年11月devconnect阿根廷開發者大會之前，prover有望達標。
簡潔的Roy預計到明年初，可以將gpu需求降低至16張顯卡左右，總成本也將控制在1萬至1萬至3萬美元之間。
與此同時，簡潔的prover，累計生成了數百萬份證明。 ，累計生成了數百萬份證明。 ，累計生成了數百萬份證明。
這個系統的核心邏輯是競爭式證明，prover參與競標，每輪選擇一個中標者來執行zk證明，目標是讓時間更短、成本更低的參與者勝出
這意味著，在Zk驅動的以太坊未來中，礦工精神將以另一種形式重現，只是角色從算區塊，變成了算證明。 ，變成了算證明。
03、主網切為ZK架構：一場高難度系統遷移
將以太坊l1（Zk）架構，是繼，是繼2022年從工作量證明（ pop）過渡到權益證明（ pos）之後，又一次幾乎同等級別的技術挑戰，又一次幾乎同等級別的技術挑戰，整個過程不僅需要對協議層進行重構，還必須嚴密考慮各種潛在的邊緣場景和安全風險
在今年7月的一次Exproofs會議中，研究員賈斯汀·德雷克（Justin Drake）prover killer （證明者殺手（」），從而導致整個網絡驗證機制失效；又或者網絡活躍度驟降
以太坊基金會協議協調團隊的ladislaus表示，整個過渡過程可能需要幾年時間，尤其要關注安全方面的隱患。 zk虛擬機（ ZKVM）作為一項仍處於早期階段的複雜技術
與此同時，以太坊還計劃對其共識層進行根本性的架構重構，即構建名為「梁鏈」的新型結構，Zk優化友好，Drake甚至表示，未來整個以太坊的數據驗證工作將可以在一台普通筆記本電腦的cpu上完成。
04 snark化」：原生匯總要來了
在以太坊主網集成Zkevm的同時，另一個長期設想也開始逐步浮現：原生匯總（（本機匯總）。
目前的滾動（無論是樂觀還是ZK類型）都採用獨立的證明系統，其安全性依賴於自身的驗證者或排序器機制，與以太坊主網之間存在一定的信任假設。
而「原生匯總」的願景則是完全不同的」的願景則是完全不同的」的願景則是完全不同的」的願景則是完全不同的通過將ZKeVM集成至主網
這需要在以太坊l1客戶端中新增一段關鍵代碼「執行預編譯」，允許驗證者直接校驗l2 Zk狀態轉移證明，正如以太坊基金會協議協調員ladislaus所說
換句話說，如果原生，升量，那麼未來無論是一筆發生在l1的交易，loclup上的交易
這意味著在原生匯總上存入1000萬美元，其安全性將等同於直接存入以太坊主網。
Linea項目負責人Declan fox表示，他們的長期目標就是成為一個原生成交量，他認為這是eth 2.0分片方案的「升級版」———不再是硬性運行64個結構相同的分片鏈，而是以高度可編程、可定制的方式構建異構，而是以高度可編程、可定制的方式構建異構，服務不同場景與用戶需求。
與過去ETH2.0的同構分片架構不同，原生匯總可以是異構的，為最終用戶提供更多樣化和差異化的應用體驗。
儘管原生匯總尚未正式寫入以太坊路線圖
Ladislaus總結道，「在將evm snark 化（即集成zk證明能力
樂觀預期的話，如果一切順利，也許年底就能提交相關，也許年底就能提交相關
不過這一時間表仍具有高度不確定性，需謹慎看待。 ，需謹慎看待。
資訊來源：由0x資訊編譯自互聯網。版權歸作者White55，火星財經所有，未經許可，不得轉載