
原文作者: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)。