對比Scroll與Hermez,理解zkVM與zkEVM
BlockBeats 律動財經 2022-10-28 18:03
我還沒有深入研究 Hermez 的 zkevm 解決方案(而且 Hermez 的部分代碼還沒有完全開源),有趣的是,比較 Scroll 和 Polygon Hermez 的 zkevm 是一個很好的視角,可以幫助大家更好地理解 zkVM 和 zkEVM。
基本上,Scroll 的 zkEVM 解決方案通過「重新實現」整個 EVM 來實現 EVM 等價,EVM 的所有操作都是在 zkevm-circuits(zk 電路)中定義的,這需要很多步驟 (約束) 來證明。
Hermez 的 zkEVM 解決方案是不同的,他們不是重新實現一個 EVM,而是實現一個特定的 zkVM,並將 EVM 操作對應到他們自己的 zkVM。所以,證明 EVM 的操作等同於證明 Hermez 的 zkVM 中的對應操作,並且 zkVM 有非常大的自由度,它們可以避免 EVM 中的 zk-unfriendly 部分。
用不同的方法來定義 Hermez 是 zkEVM 還是 zkVM:
-只要你能證明所有來自 EVM 的操作都是正確的,滿意——Hermez 是 zkEVM;
-必須重新實施完整的 EVM,不滿意——Hermez 是 zkVM
因此,Scroll 和 PSE 的 zkEVM 非常複雜 (奇蹟般地實現了 zk-unfriendly 部分)。我們的 zkEVM 有 34469 行代碼,但是 Hermez 的 zkEVM 只有不到 3000 行代碼,點擊了解
最初權衡 Scroll/PSE 的 zkEVM 是很難實現的,但後期處理 EVM 更新很容易,Hermez 的 zkEVM 最初很容易實現,但後續更新很困難(可能需要重新設計 zkVM),並且,PSE 方案更適合 Layer 1,後續升級也容易,並且因為 Scroll 直接和 PSE 合作(甚至貢獻了同一次庫藏股),後續升級 Scroll 的 zkEVM 也很容易。
一個值得展望的未來是:我們將證明生成時間優化到 12 秒(正好在提出一個 slot 的時候),這時候 zkEVM 可以直接用在 Layer 1 的生產環境中,運行一個節點的限制也會降低。
如果 zkEVM 可以直接用於 Layer 1,那麼主網會有自己的 prover,如果證明生成時間可以優化到 12s,我認為會考慮一個有助於加速的 prover 網路(硬體加速、社區參與等)。
Scroll 將來會有自己的 Prover 網路,其路線圖如下:
-Pre-alpha 測試網升級
-Alpha 測試網
-去中心化 roller 網路
-啟動主網
所以如果 Scroll 的 roller 網路運行良好(可能會有新的共識機制),將會對 Layer 1 產生直接影響,以太坊主網很可能會學習 Scroll 的經驗,嘗試用 roller-network 的方式來加速自己的 zkEVM(達到 12s)。
Rollup 是 layer 1 的一個創新的測試領域,不僅涉及新穎的應用程序,還涉及這些底層基礎設施。目前有多個 zkEVM 實現由不同的 rollup 團隊領導,從長遠來看,這對 rollup 和 Layer 1 都有好處,對於 rollup,我們可以使用其他 zkEVM 實現來檢查我們自己的 zkEVM 是否遺漏了約束條件或存在 bug 等。
一個 zkEVM 生成證明,其他 zkEVM 驗證其過程。
如果 multi-zkEVM 能夠形成合作機制,Layer 1 沒有理由不直接學習這種方式,當然,沒有那麼多 layer 2 團隊會實施共識層 zkEVM(但仍然可以學習他們的設計方式)。
不管怎樣,未來我們仍然會看到關於 zkEVM 的非常活躍的討論,會有更多的設計、更多的創新、更多的 bug,最後是 layer 1 上的 EVM - > zkEVM 的升級。我們還將看到 layer 1 上學到的 rollup 創新,幫助以太坊本身變得更好(不僅是更低 Gas 的交易)。
最後,Hermez 有一個很棒的團隊,在 zkEVM 和 zkp 領域有突出貢獻,我認為不同的 L2 團隊應該更多地溝通/協作,因為我們都在同一條戰線上,我們都是以太坊的盟友,我們來這裡是為了擴展以太坊,讓區塊鏈準備好迎接下一個階段和下一個十億用戶。
暢行幣圈交易全攻略,專家駐群實戰交流
▌立即加入鉅亨買幣實戰交流 LINE 社群(點此入群)
不管是新手發問,還是老手交流,只要你想參與虛擬貨幣現貨交易、合約跟單、合約網格、量化交易、理財產品的投資,都歡迎入群討論學習!
- 加入鉅亨買幣LINE官方帳號索取免費課程
- 掌握全球財經資訊點我下載APP
文章標籤
上一篇
下一篇