以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

ZKR和OR的交鋒和論戰:EVM等效是下限,而不是上限?_ROL:KRO

Author:

Time:1900/1/1 0:00:00

從去年下半年以來,zk-Rollup擴容項目開始集中發力,不斷追趕進度,相關的方案和項目也開始涌現,也在獲得更多的資金和關注度。當人人都夸贊zk擁有光明的未來時,作為競爭對手的OptimisticRollup有些坐不住了,于是,ZKR和OR迎來了2023年開年的第一次正面交鋒。前兩天,Arbitrum開發團隊OffchainLabs的聯合創始人StevenGoldfeder再次發推給ZKRollup和zkEVM潑冷水。StevenGoldfeder表示,并不贊同大家總說的“ZKRollup能更好地代替OptimisticRollup”,目前還遠未在生產環境中實現zkEVM,而且現階段zk-Rollup比op-Rollup更貴且兼容性更差。此外,Goldfeder提到“EVM等效是下限,而不是上限”,在這種觀點下,Arbitrum作為第一個在生產環境中完全實現EVM等效性的Rollup更具有長期優勢。在這一步基礎上,Arbitrum開始開發更高階的EVM+,旨在對更廣泛的開發人員和用戶開放。Nitro基于WASM的設計在EVM+創新上存在巨大的結構優勢,而zk團隊在短期內“幾乎不可能”實現EVM+。最后,Goldfeder還大膽預測:在任一功能齊全的zkEVM出來之前,Arbitrum都已經支持Solidity、Rust合約了!

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

StevenGoldfeder這番稍顯傲慢并且無差別向zk-Rollup系項目掃射的言論引來一場“精彩的討論”。PolygonzkEVM、前零知識證明開發公司Mir工程師Brendan對Goldfeder的觀點進行了逐條回應:Goldfeder并不十分理解PolygonzkEVM的架構。首先是時間上,Polygon目前已經發布了一個生產就緒的zkEVM測試網并生成了超過80,000個區塊證明,大約3個月后就可上線主網。而在成本上,PolygonzkEVM的證明成本并沒有那么高。例如一次Uniswap交易成本為0.0019美元,未來這一成本還將降低至目前的1/100。況且將昂貴的計算卸載到ZKP優于強制每個完整節點重新執行的模型。此外,Brendan認為更大的問題應該是在引入新的操作碼后是否能確保與EVM的兼容性。而他也進行了“針對性”的預測:在支持EVM的OptimisticRollup具備無需許可的欺詐證明之前,一定會有功能齊全的zkEVM投入生產。Scroll聯合創始人YeZhang則反駁,Goldfeder低估了zkEVM,應該再去好好看看Scroll在8個月之前的博客,Scroll的zkEVM是以非常模塊化的方式構建的。況且,過于激進地添加功能會增加安全風險,從真實的需求的出發,并不認為有添加新功能的必要。此外,他還拋出幾個進一步需要探討的問題:有多少人真正關心與Solidity一起編寫Rust合約?需要多少額外的工具支持?支持可組合性嗎?什么是安全假設?而zkSync聯合創始人AlexG.部分肯定了Goldfeder的觀點,他同樣贊同EVM+>EVM,比較與Rust/Move代碼的同步互操作性比單純的Solidity強大得多。但是這種開發不僅OptimisticRollup可以做呀,我們zkSync目前正在通過LLVM編譯Solidity,也在添加Rust和Move。這么一比較,zk-Rollup贏得很輕松嘛。Starkware因為CairoVM氣質較為獨特,未參與本場論戰。

Reddio上線StarkEx提供支持的zkRollups API主網:9月29日消息,區塊鏈基礎設施服務商Reddio宣布,上線由StarkWare擴容引擎StarkEx提供支持的zkRollup API主網。Reddio表示,開發人員可以使用Reddio在zkRollup上構建應用內和游戲內NFT市場、擴展應用和游戲資產交易、使用Javascript SDK和Unity SDK以0 Gas費鑄造NFT等,具有低Gas費用和即時確認等特點。[2022/9/29 6:01:45]

事實上,隨著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在真槍實彈層面的決戰。

Plasm Network部署Matter Labs的ZKRollup Solidity合約:3月19日消息,Plasm Network創始人渡邊雄太宣布團隊已經成功部署Matter Labs的ZKRollup Solidity合約。[2021/3/19 19:00:23]

路印Loopring zkRollup快速支付添加Aragon(ANT)支持:路印Loopring聯合創始人Jay在推特上表示:“我們剛剛在zkRollup快速支付上添加了Aragon(ANT)支持。現在你可以即時免費地將ANT轉移到任何Loopring Layer 2地址。”[2020/8/7]

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

Tags:ROLLROLKROFEDAITROLLSTROLLBNB幣KRO價格UnFederalReserve

芝麻開門交易所下載
淺析Arbitrum生態7個值得關注的項目_ARBI:RBI幣

作為今年備受關注的Layer2,Arbitrum上面有很多高質量的項目需要我們時刻關注,盡早了解和體驗,未來幾月或將迎來「ArbitrumSeason」.

1900/1/1 0:00:00
一文讀懂Aura Finance:上海升級后的LSD賽道最大贏家?_ANC:aura幣eth抵押

近期市場熱度又轉向了LSD賽道,LDO、FXS、RPL為主的token紛紛上漲。對于LSD賽道,用戶關注點在于增加LSD的流動性,其中談論較多的項目是AuraFinance——0xMaki創建的.

1900/1/1 0:00:00
Adam Cochran:2023年Crypto財富密碼_CRV:Curve

一年一度的Crypto“掃貨”清單又來了。在每次市場大幅下跌時,你沒有時間研究單個資產,那么你可能會錯過一個絕佳的買入機會.

1900/1/1 0:00:00
詳解「序數NFT」:在比特幣上鑄造NFT的新嘗試_比特幣:Idle Treasure Party

原文作者:ColinHarper原文編譯:BTCSTUDY意外還是驚喜?最近出現了一種在比特幣區塊鏈上鑄造非同質代幣的新方法,它可以將NFT的實質內容完全放到比特幣區塊鏈上.

1900/1/1 0:00:00
「大而不強」,BSC如何擺脫當前困境?_NFT:fio幣NFT

BSC很成功,但不難感受到它正在逐步邊緣化。從穩定幣、Bribe、衍生品再到最近的流動性質押,近一年不少熱點都與BSC關系不大.

1900/1/1 0:00:00
Web3中間件和基礎設施全景概覽_WEB3:web3游戲是什么意思

摘要:本文分類并詳細介紹了zeeprime投資組合中的web3中間件們,其分類包括:存儲/數據,數據模型和有效性,索引器,訪問控制,和集成平臺.

1900/1/1 0:00:00
ads