對比Scroll與Hermez,理解zkVM與zkEVM
区块律动BlockBeats
2022-10-28 13:00
本文约1604字,阅读全文需要约6分钟
未來我們仍然會看到關於zkEVM 的非常活躍的討論,會有更多的設計、更多的創新、更多的bug

原文作者:Luozhu

原文編譯:Leo,BlockBeats

原文作者:

原文編譯:Leo,BlockBeats

原文作者:

原文編譯:Leo,BlockBeats

原文作者:

原文編譯:Leo,BlockBeats

基本上,Scroll 的zkEVM 解決方案通過「重新實現」整個EVM 來實現EVM 等價,EVM 的所有操作都是在zkevm-circuits(zk 電路)中定義的,這需要很多步驟(約束) 來證明。點擊了解

用不同的方法來定義Hermez 是zkEVM 還是zkVM:

點擊了解

-必須重新實施完整的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)。

原文鏈接

区块律动BlockBeats
作者文库