ROLL:ZKR和OR的交鋒和論戰：EVM等效是下限，而不是上限？

原文作者：念青，ChainCatcher

從去年下半年以來，zk-Rollup擴容項目開始集中發力，不斷追趕進度，相關的方案和項目也開始涌現，也在獲得更多的資金和關注度。當人人都夸贊zk擁有光明的未來時，作為競爭對手的OptimisticRollup有些坐不住了，于是，ZKR和OR迎來了2023年開年的第一次正面交鋒。

前兩天，Arbitrum開發團隊OffchainLabs的聯合創始人StevenGoldfeder再次發推給ZKRollup和zkEVM潑冷水。

StevenGoldfeder表示，并不贊同大家總說的“ZKRollup能更好地代替OptimisticRollup”，目前還遠未在生產環境中實現zkEVM，而且現階段zk-Rollup比op-Rollup更貴且兼容性更差。

OKX Ventures宣布投資基于zkRollup的Layer2網絡 Taiko:6月8日消息，OKX Ventures 宣布投資基于 zkRollup 的 Layer2 網絡 Taiko，Taiko 可以使開發者和用戶能夠安全地體驗以太坊，交易費用更低，而且不需要考慮任何變化。

OKX Ventures 創始人 Dora 表示，Taiko 構建的 zk-EVM 屬于 Type1 梯隊，即完全的以太坊等效性，是當前 zkEVM 領域最具潛力的項目，也是以太坊創始人 Vitalik Buterin 在推特中點名的 ZK-EVM 五大選手之一[2023/6/9 21:24:57]

此外，Goldfeder提到“EVM等效是下限，而不是上限”，在這種觀點下，Arbitrum作為第一個在生產環境中完全實現EVM等效性的Rollup更具有長期優勢。在這一步基礎上，Arbitrum開始開發更高階的EVM，旨在對更廣泛的開發人員和用戶開放。Nitro基于WASM的設計在EVM創新上存在巨大的結構優勢，而zk團隊在短期內“幾乎不可能”實現EVM。

基于zkRollup的以太坊二層網絡Taiko發布首個公共測試網:12月28日，據官方消息，基于 zkRollup 的以太坊二層網絡 Taiko 發布測試網 Sn?fellsj?kull。目前該測試網支持開發者部署智能合約，并向普通用戶開放交易測試和 L2 節點運行等功能。[2022/12/28 22:12:13]

最后，Goldfeder還大膽預測：在任一功能齊全的zkEVM出來之前，Arbitrum都已經支持Solidity、Rust合約了！

StevenGoldfeder這番稍顯傲慢并且無差別向zk-Rollup系項目掃射的言論引來一場“精彩的討論”。

PolygonzkEVM、前零知識證明開發公司Mir工程師Brendan對Goldfeder的觀點進行了逐條回應：Goldfeder并不十分理解PolygonzkEVM的架構。首先是時間上，Polygon目前已經發布了一個生產就緒的zkEVM測試網并生成了超過80,000個區塊證明，大約3個月后就可上線主網。而在成本上，PolygonzkEVM的證明成本并沒有那么高。例如一次Uniswap交易成本為0.0019美元，未來這一成本還將降低至目前的1/100。況且將昂貴的計算卸載到ZKP優于強制每個完整節點重新執行的模型。

Celer與StarkWare合作開發Layer2.finance的ZKRollup版本:據官方博客文章消息，以太坊二層擴容項目Celer Network宣布與零知識證明研究機構StarkWare達成合作，雙方將為擴容方案Layer2.finance開發基于零知識證明的ZKRollup版本。Layer2.finance的v0.1版本最近在以太坊主網啟動，借助了Celer基于Optimistic Rollup的解決方案。[2021/4/28 21:05:02]

此外，Brendan認為更大的問題應該是在引入新的操作碼后是否能確保與EVM的兼容性。而他也進行了“針對性”的預測：在支持EVM的OptimisticRollup具備無需許可的欺詐證明之前，一定會有功能齊全的zkEVM投入生產。

Scroll聯合創始人YeZhang則反駁，Goldfeder低估了zkEVM，應該再去好好看看Scroll在8個月之前的博客，Scroll的zkEVM是以非常模塊化的方式構建的。況且，過于激進地添加功能會增加安全風險，從真實的需求的出發，并不認為有添加新功能的必要。

Google Cloud 在客戶用例中新增路印協議 Loopring 的 zkRollup 擴容方案:Google Cloud 在客戶和案例研究中新增路印協議 Loopring 的 zkRollup 擴容方案。根據該案例專頁的描述，路印協議 Loopring 選擇 Google Cloud 的可擴展性和速度來減少交易時間，為 zkRollup 客戶提供更好體驗，可將用戶資金釋放等待時間縮短 40％。Google Cloud 計算引擎通過自定義 VM 解決方案可節省 15％的計算成本，從而為用戶降低了交易費用，此外還可將部署時間從幾分鐘縮短到幾秒鐘，以提高員工效率，最終增強交易計算性能并改善客戶服務。[2020/12/19 15:47:42]

此外，他還拋出幾個進一步需要探討的問題：有多少人真正關心與Solidity一起編寫Rust合約？需要多少額外的工具支持？支持可組合性嗎？什么是安全假設？

Loopring首席技術官：zkRollup擁有以太坊層級的安全性:金色財經報道，在今日OKEx礦池與以太坊中國社區主辦的ETH 2.0 AMA中，Loopring首席技術官Steve Guo表示，zkRollup是一種用于以太坊的可擴展性方案，通常是被定義為Layer 2的解決方案。它能處理更多交易，更快速并且成本更低。它在鏈下批量執行所有計算，并且只向以太坊提交一個小的零知識證明（不能是偽造的證明）進行驗證。由于以太坊會驗證這些證明，并且存儲足夠的數據來準確判斷鏈下賬戶的狀態，因此zkRollup擁有以太坊層級的安全性。零知識證明框架目前有好多種，路印協議最終選定了zkSnark作為背后的零知識證明框架，主要是因為zkSnark的證明數據大小是目前最小的，這就意味著鏈上成本能做到最低，同時生成證明所必須的鏈下計算成本也不高，技術框架本身也已經過ZCash多年的實踐考驗過的。整個方案的關鍵點就在于：區塊鏈上只是負責存儲數據和驗證零知識證明，其余的計算處理都是通過在鏈下更改Merkle樹的方式來實現，從而極大的減小對區塊鏈資源的消耗，提升區塊鏈的整體性能。又因為鏈下部分有鏈上驗證的輔助，所以也能確保鏈下處理資產的安全性和正確性。從而達到在不犧牲區塊鏈帶來的安全前提下，提升區塊鏈的整體性能。[2020/6/17]

而zkSync聯合創始人AlexG.部分肯定了Goldfeder的觀點，他同樣贊同EVM>EVM，比較與Rust/Move代碼的同步互操作性比單純的Solidity強大得多。但是這種開發不僅OptimisticRollup可以做呀，我們zkSync目前正在通過LLVM編譯Solidity，也在添加Rust和Move。這么一比較，zk-Rollup贏得很輕松嘛。

Starkware因為CairoVM氣質較為獨特，未參與本場論戰。

事實上，隨著zk-Rollup的崛起，ZKR和OR之間的交鋒和論戰一直持續存在。

在去年7月Polygon開開心心宣布開源zkEVM代碼時，Goldfeder就潑了一盆“zkEVM距離正常運行還很遙遠”的冷水，但Goldfeder指出的現階段zkEVM還存在一定中心化問題、沒有在證明者上開源等問題也的確都是事實。

而更熱鬧的是在去年波哥大Devcon期間。

隨著zkSync2.0的推出，zkSync開始大張旗鼓地宣傳自己是“世界上第一個功能齊全的開源zkEVM網絡”，PolygonzkEVM在Devcon期間正式推出時也宣稱自己是“第一個也是唯一一個去中心化的zkEVM測試網”。

但這兩位在爭論“第一個zkEVM”的同時也招致了不少質疑，這其中自然少不了StevenGoldfeder，他認為，zkSync的zkEVM測試網并沒有啟用zk-proofs，也沒有經過安全審計。而Polygon則被質疑說其zkEVM證明者的源代碼雖在Github上可用，但還沒有開源許可證；雖然表示“完全等效”，但其Github代碼庫顯示其暫時只測出了97%的兼容性覆蓋程度。對此，Polygon團隊回應，“沒有刻意隱瞞，部分內容正在編寫的更好的文檔”。

StevenGoldfeder有一句話還比較中肯：“雖然目前很多團隊都在穩步推進zkEVM，但其遠沒有到‘黃金時期’，任何推動這種敘事的團隊都在損害社區。”

ZKR和OPR的爭論再早可以追溯到2021年底。OffchainLabs專門發表了一篇名為《為什么說OptimisticRollup比ZKRollup更能代表以太坊擴容的未來？》的文章，比較了ZKRollups和OptimisticRollup兩個擴容技術。從那個時候，OffchainLabs就一直在強調OptimisticRollup系統在可擴展性和成本上的優勢，與EVM和現有工具完全兼容。

隨后Polygon的零知識證明工程師BrendanFarmer發表《Polygon駁OffchainLabs：ZKRollup才是以太坊擴容的未來》回應，相對于Optimisticrollup，zk能提供同等的安全性和更高的資本效率。而且OR受限于L1，因為欺詐證明必須能夠在以太坊上執行，ZK則沒有這個限制。

你會發現，這兩個派系論戰到今年，討論的東西并沒有本質上的變化。但這些討論都是有意義的，如果能在話題上再多做一些延伸的話。

盡管OptimisticRollup占據了先發優勢并仍然在當下壟斷了80%以上的市場份額，但包括Vitalik等在內的意見領袖普遍在長期更看好ZKR。去年下半年以來，資本和開發人員大量涌入zk領域，相關項目不斷出現，zk-Rollup開發進度也逐步加快。OR系也的確在當下有傲慢的資本，但面對競爭對手的逐漸強大，穩坐王座的Arbitrum多少也會有些煩躁不安，因此頻頻出言diss也在情理之中，對zk-Rollup也是不錯的敦促。

總體而言，L2這個朝陽賽道相比其他領域在熊市中受到的影響要略小一些，在2023年年初，這場交鋒顯得熱熱鬧鬧的，頗有欣欣向榮之勢。但相比搶占輿論陣地，我們更期待OR和ZKR在真槍實彈層面的決戰。

Tags：ROLLROLKRO以太坊TrollCoinROL幣Akropolis怎么挖以太坊幣

DOT