比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

各家 zkEVM 對比 誰能抓住這個 ZK-Rollup 的圣杯_ROLL

Author:

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

作者:ViaBTCCapital

近期有幾個?ZK-Rollup項目相繼宣布支持?ZK-EVM的主網或測試網的上線計劃,而在2022年8月初,以太坊創始人?Vitalik發表了一篇博文對比了不同類型的?ZK-EVM。ZK-EVM,這個ZK-Rollup的圣杯,又一次引起市場的關注,它在未來可能會是以太坊擴容的利器。

以太坊擴容是一個老生常談的話題,也是眾多用戶期望的事情。不少人可能會有一個認識誤區,即計劃在9月底升級的以太坊合并會把共識機制從?PoW轉為?PoS將能夠改善以太坊性能。但實際上,合并沒有改變區塊大小,出塊時間也僅僅是從平均13秒變為12秒,所以屆時以太坊性能提升預計有限。因而,以太坊短期內擴容的希望還在二層網絡。在?Rollup兩種主流方向?OptimisicRollup和?ZK-Rollup里,相當一部分人更期待后者,因為?ZK-Rollup不僅同樣可以通過將打包多筆鏈下交易來降低網絡手續費,更重要的是它能夠通過零知識證明計算出一個有效性證明并提交到以太坊網絡來繼承以太坊的安全性,無需像?OptimisticRollup那樣設置一個挑戰期。

只能支付的ZK-Rollup

Atomic:正收集受害者地址并聯系各方追蹤和阻止被盜資金,調查仍在進行:6月5日消息,加密錢包Atomic在推特上發布安全事件更新:調查仍在與安全公司的共同努力下進行,團隊正在研究可能的攻擊媒介,但尚未確認。支持團隊正在收集受害者地址,并聯系主要交易所和區塊鏈分析公司以追蹤和阻止被盜資金。

此前昨日消息,Atomic錢包被盜總額已超3500萬美元。[2023/6/5 21:16:02]

但ZK-Rollup早期為人詬病的地方是不能兼容?EVM,不能支持智能合約功能,例如?Gitcoin捐贈主要支付途徑的?zkSync1.0僅能支持轉賬等基本功能。目前市場上的?ZK應用如?dYdX,是專門定制的應用無法通用,開發難度大,改動麻煩。同時,由于不同?ZK應用有各種專用電路,無法相互調用,可組合性差。因此市場急需能夠支持以太坊智能合約的ZK-Rollup,而其中關鍵門檻就是能夠支持零知識證明的虛擬機。幸運的是,近期有幾個?ZK-Rollup項目相繼宣布支持?ZK-EVM的主網或測試網的上線計劃。本文將介紹?EVM、ZK-EVM以及主要的?ZK-EVM項目和它們的區別。

什么是?EVM?

EVM指的是以太坊虛擬機,它相當于執行引擎,是以太坊智能合約的運行時環境。開發者通過高級編程語言如?Solidity編寫業務邏輯,然后編譯器把代碼編譯成低級編程語言字節碼并執行相應指令修改系統狀態。EVM是基于堆棧結構的虛擬機,在執行opcode的時候需要和stack、memory、storage交互。

網易:與央視網達成合作 搭建網絡春晚元宇宙分會場:金色財經報道,網易11日宣布,公司與央視網達成合作,調動網易雷火、網易伏羲、網易互娛AI Lab、網易區塊鏈等多個部門,集合數字孿生、區塊鏈、AI作畫、AI歌聲合成等技術,為網絡春晚觀眾搭建首個元宇宙會場,可實現萬人實時互動。[2023/1/11 11:06:03]

對于以太坊、各種擴容協議和競爭公鏈而言,EVM幾乎成為以太坊生態的代名詞,代表以太坊生態的開發者、應用和工具。如果某個公鏈不支持EVM,那么它需要重新培育自己生態內的開發者,而開發者也需要重新開發應用和工具。有人曾對比OptimisicRollup的兩大巨頭Optimism和Arbitrum,指出其中一個協議僅99%兼容EVM而另一個協議可以100%兼容EVM,就算1%的區別也會產生以太坊生態競爭的劣勢。由此可見,兼容EVM直接關乎對以太坊生態的兼容性,只有兼容EVM,開發者才可以無縫遷移現有的以太坊合約,以太坊生態的各種工具才能順利接入。

即將到來的?ZK-EVM

美國民主黨參議員:監管機構對加密貨幣活動缺乏全面的認識:金色財經報道,據相關聲明,美國民主黨參議員謝羅德·布朗呼吁美國財政部在FTX崩潰后制定加密立法,并表示,監管機構對加密貨幣活動缺乏全面的認識。[2022/12/1 21:13:32]

盡管EVM在以太坊生態發揮著關鍵作用,但ZK-EVM的開發相當復雜。ZK-EVM是指能夠支持生成零知識證明并兼容EVM,以太坊智能合約可以無需修改而直接部署運行,同時程序的運行可以通過零知識證明其計算的有效性。EVM在設計之初并沒有考慮到ZK,這也因為當時ZK尚未取到突破性進展還沒有被主流采用,直到2016年才第一次有零知識證明算法zk-SNARK被Zcash采用。EVM里有一些操作對零知識不友好,即很難生成零知識證明,或生成證明的效率低,或生成的證明太大。

很多人知道ZK開發門檻很高,不僅涉及密碼學、數學也涉及到硬件知識,而ZK-EVM開發更屬于難上加難的級別,它既要能夠兼容EVM,又要對零知識友好。幸運的是,在過去的幾年時間里,ZK領域取得了越來越多的重大突破。ZK-EVM賽道幾位選手包括Starkware、zkSync2.0、Polygon和Scroll等都在加緊研發ZK-EVM,其中后面三個項目在近期陸續宣布了測試網上線的消息。

SBF:FTX開發穩定幣的事暫未確定任何細節:SBF:FTX開發穩定幣的事暫未確定任何細節

10月28日消息,10月28日,FTX創始人SBF在社交媒體上就FTX正在開發Stablecoin的相關發言做出澄清表示,我們還沒搞清楚我們想在Stablecoin這件事兒上要做什么,一切都暫未確定。

此前報道,10月27日,SBF在接受The Big Whale采訪時表示FTX正準備開發一種Stablecoin。[2022/10/28 11:52:18]

7月19日,Scroll發布了pre-alpha測試網,用戶可以體驗一些演示程序例如Uniswapfork版本以及Metamask錢包。7月20日,MatterLabs宣布兼容EVM的zkSync2.0將在11月左右上線主網并公布路線圖。同樣在7月20日,Polygon宣布其ZK-EVM測試網也即將上線。

各家?ZK-EVM對比

由于ZK-EVM并沒有統一的設計規格或者標準,所以每個項目方基于不同角度在兼容EVM和支持ZK之間權衡設計出各自方案,目前基本分為兩種思路:

1.編程語言層面支持,自定義EVM操作碼,把ZK友好的操作抽出來重新設計新的、架構不同的虛擬機,通過編譯器將Soilidity編譯成新的虛擬機操作碼

Delphi Labs發布跨鏈流動性統一模型 SLAMM白皮書:10月11日消息,Delphi Labs 發布了 SLAMM 白皮書。SLAMM 即關于跨鏈流動性的統一模型(A Unified Model for Cross-Chain Liquidity),是關于 AMM 共享形式的探索。白皮書部分內容探討了 SLAMM 如何在 Cosmos 應用鏈之間轉移流動性。

據悉,SLAMM 采用一種旨在減輕流動性碎片化影響的新機制:共享流動性 AMM (SLAMM)。使用協調的應用鏈Hub、虛擬流動性池和其他鏈上的衛星部署,理論上 SLAMM 將跨越相互隔離的跨鏈池優化流動性。通過這種方式,Delphi Labs 希望可以實現 LP一次存入,LP 無處不在,LP 將被動收取跨鏈手續費收益。這將為終端用戶提供更好的用戶體驗 (UX) 和交易執行體驗,并為 LP 提供更優收益。[2022/10/11 10:30:32]

2.字節碼層面支持,支持原生EVM操作碼

第一種思路的項目包括有Starkware的StarkNet和zkSync2.0。Starkware的ZK-Rollup通用解決方案StarkNet可以運行任意的以太坊dApp。開發者可以通過編譯器將Solidity編譯成StarkNet的智能合約語言Cairo,再部署到其ZK友好的VM。類似Starkware,zkSync2.0通過開發編譯器前端Yul和Zinc來實現ZK-EVM功能。Yul是一種中間Solidity表示,可以編譯為不同后端的字節碼。Zinc是用于智能合約和通用零知識證明電路的基于Rust的語言。它們都是基于開源框架LLVM,能夠實現最高效的ZK-EVM字節碼。

這一類項目在語言層面兼容Solidity,開發者可以把用Solidity寫的智能合約通過轉移的方式來部署運行,但是底層VM架構并非是EVM,嚴格來說是一種zkVM。而且由于底層的虛擬機指令集的不同,有一些現有開發工具不能直接使用,但是對ZK友好,能更有效生成零知識證明。

而第二種思路的項目包括有PolygonZK-EVM和Scroll。PolygonZK-EVM叫做uVM,zkCircuit優化的VM具有定制的操作碼以優化EVM操作,EVM字節碼先被編譯成“微操作碼”再在uVM執行。PolygonZK-EVM計劃支持全部EVM操作碼,是一個與以太坊完全兼容的零知識(ZK)擴展解決方案:所有現有的智能合約、開發人員工具和錢包都可以無縫運行。Scroll也和Polygon的類似,會為每個字節碼設計電路,包括驗證EVM執行的每一個步驟,包括加載bytecode,執行opcode,更新storage等。

而在Vitalik的博文里,他將ZK-EVM分為幾種類型。其中,類型1是直接在以太坊上面直接開發ZK-EVM,這個開發過于復雜而且目前效率太低,以太坊基金正在研究中。類型2、類型2.5和類型3是EVM等效的ZK-EVM,Scroll和PolygonHermez目前處于類型3這個階段,朝著類型2.5乃至類型2努力。類型4是高級語言兼容的ZK-EVM,包括Starkware和zkSync。這些類型并無好壞之分,而且ZK-EVM也沒有統一的標準。正如Vitalik所說,“從理論上講,以太坊不需要為L1使用單一的ZK-EVM實現進行標準化;不同的客戶可以使用不同的證明,因此我們繼續從代碼冗余中受益。”

總結

各家的ZK-EVM方案設計并無絕對的好壞,因為目前大家代碼尚未開源也無法比較效率。以太坊作為最大的智能合約平臺,擁有強大的生態系統和網絡效應,ZK-EVM是ZK-Rollup的圣杯,只有通過ZK-EVM,ZK-Rollup才能依托以太坊的生態和網絡效應,在繼承以太坊安全性、降低手續費的同時更容易獲得充滿活力的開發者生態、經過時間考驗的代碼庫和工具。2021年初,Vitalik曾在其博客稱,短期內,OptimisicRollup可能會在通用EVM計算方面勝出,而ZK-Rollup可能會在簡單的支付、交易和其他特定于應用程序的用例中勝出,但在隨著ZK-SNARK技術的改進,中長期ZK-Rollup將在所有用例中勝出。隨著各個ZK-EVM項目的測試網/主網陸續上線,相信在不久的將來,以太坊二層擴容將會精彩紛呈。

參考資料:

ZK-EVMoverview-p1,

https://drive.google.com/file/d/1dhZ5GtSK4sHCNcklGzNHfR-lSzplpD8J/view

https://vitalik.ca/general/2022/08/04/zkevm.html

https://starkware.co/starknet/

https://blog.matter-labs.io/zksync-2-0-hello-ethereum-ca48588de179

https://polygon.technology/solutions/polygon-ZK-EVM/

https://blog.hermez.io/introducing-hermez-ZK-EVM/

來源:金色財經

Tags:以太坊ROLROLLSTA比特幣以太坊QrolliTrollCoinStartupersCoin

歐易交易所app官網下載
金色觀察|頂級VC:未來6個月看好這15個加密項目和趨勢_OSM

文/MarioGabriele?TheGeneralist創始人如果你只有幾分鐘的閱讀時間,下面的內容是作為投資者、運營商或創始人的你應該了解的:關于當前最令人興奮的加密趨勢.

1900/1/1 0:00:00
比特幣略高于 24,000 美元:27,000 美元可能嗎?_GALA

比特幣的交易價格略高于24,000美元,因為它在幾個交易日前從25,000美元的價格點下滑后短暫超過了這個大關。在日線圖上,比特幣上周下跌1%,但比前一周上漲6%。這暗示了一個盤整信號.

1900/1/1 0:00:00
孫宇晨開啟“星辰大海” “借船出海”推廣太空旅行_ETF

2021年底,波場TRON創始人孫宇晨發布推文,稱自己正是美國藍色起源公司此前“新謝潑德號”首航艙位的贏拍者,并表示與藍色起源公司協商后,決定把艙位名額轉為發起“星辰大海”活動.

1900/1/1 0:00:00
親玩測試:Aptos生態值得交互的6個項目_APT

PANews經過研究測試,剔除了已經發布代幣的項目,篩選整理Aptos生態目前值得交互的6個項目供大家參考.

1900/1/1 0:00:00
8月13日比特幣行情解析_RKN

8月13日比特幣行情解析:?????比特幣昨日行情上午盤處于底部震蕩階段,晚間盤快速下跌后小級別觸底回升,和直播所講基本一致,以太也是強勢沖出新高,那么大餅最高來到24600附近.

1900/1/1 0:00:00
斂財20億!西港“賭王”王強操盤的雅視項目正式崩盤_AIN

對外宣稱雅虎旗下的視頻流量分發平臺雅視yasion,于近日落網。接到雅視內部人員爆料,本次抓捕行動屬廣西與江蘇聯合辦案,執行“配合調查的”國內50多位團隊長有的已經出來,有的還在“積極配合調.

1900/1/1 0:00:00
ads