作者: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
彭博社等多家主流媒體再次向法院申請公布FTX債權人名單:5月4日消息,今天,一個由主要媒體公司組成的聯盟對聯邦法官將FTX債權人的姓名保密的決定提出了另一項反對意見。在周三的一份文件中,紐約時報、道瓊斯(Dow Jones)、彭博社和金融時報表示,不公布FTX債權人的姓名是沒有法律依據的。據悉,FTX排名前50位的債權人估計欠債31億美元,債權人一再告訴法庭,他們希望對自己的姓名保密。機構債權人在1月份的法庭文件中被披露,其中包括Apple、Netflix和Coinbase等公司。但FTX欠款的960萬個人客戶仍然是個秘密。去年12月,《金融時報》、《華爾街日報》、《紐約時報》和彭博社已提起訴訟,要求公布FTX債權人名單。今年1月,特拉華州地方法院法官John Dorsey裁定,該名單將保密三個月。(Decrypt)[2023/5/4 14:41:38]
但ZK-Rollup早期為人詬病的地方是不能兼容?EVM,不能支持智能合約功能,例如?Gitcoin捐贈主要支付途徑的?zkSync1.0僅能支持轉賬等基本功能。目前市場上的?ZK應用如?dYdX,是專門定制的應用無法通用,開發難度大,改動麻煩。同時,由于不同?ZK應用有各種專用電路,無法相互調用,可組合性差。因此市場急需能夠支持以太坊智能合約的ZK-Rollup,而其中關鍵門檻就是能夠支持零知識證明的虛擬機。幸運的是,近期有幾個?ZK-Rollup項目相繼宣布支持?ZK-EVM的主網或測試網的上線計劃。本文將介紹?EVM、ZK-EVM以及主要的?ZK-EVM項目和它們的區別。
OpenAI、微軟、谷歌、蘋果、英偉達等將開會討論AI開發使用標準:4月11日消息,本周三,OpenAI、微軟、谷歌、蘋果、英偉達、Stability AI、Hugging Face、Anthropic等公司,將開會討論制定AI技術開發使用標準,討論如何以最負責任的態度繼續開發AI。(福克斯商業新聞)[2023/4/11 13:56:17]
什么是?EVM?
EVM指的是以太坊虛擬機,它相當于執行引擎,是以太坊智能合約的運行時環境。開發者通過高級編程語言如?Solidity編寫業務邏輯,然后編譯器把代碼編譯成低級編程語言字節碼并執行相應指令修改系統狀態。EVM是基于堆棧結構的虛擬機,在執行opcode的時候需要和stack、memory、storage交互。
對于以太坊、各種擴容協議和競爭公鏈而言,EVM幾乎成為以太坊生態的代名詞,代表以太坊生態的開發者、應用和工具。如果某個公鏈不支持EVM,那么它需要重新培育自己生態內的開發者,而開發者也需要重新開發應用和工具。有人曾對比OptimisicRollup的兩大巨頭Optimism和Arbitrum,指出其中一個協議僅99%兼容EVM而另一個協議可以100%兼容EVM,就算1%的區別也會產生以太坊生態競爭的劣勢。由此可見,兼容EVM直接關乎對以太坊生態的兼容性,只有兼容EVM,開發者才可以無縫遷移現有的以太坊合約,以太坊生態的各種工具才能順利接入。
公鏈項目Shardeum宣布完成500萬美元戰略融資:金色財經報道,WazirX CEO Nischal Shetty 創立的 Layer 1 公鏈項目 Shardeum 正尋求以 2.5 億美元估值完成 500 萬美元戰略融資。[2023/3/8 12:50:04]
即將到來的?ZK-EVM
盡管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,其中后面三個項目在近期陸續宣布了測試網上線的消息。
美聯儲主席鮑威爾:尚未就加息步伐做出決定:金色財經報道,美聯儲主席鮑威爾表示,必須強調,美聯儲尚未就未來加息步伐做出任何決定;在3月會議之前有重要數據尚未公布;美聯儲在利率政策上沒有設定過既定路線;美聯儲尚未就3月份的政策會議做出任何決定;美聯儲的政策行動將受到經濟數據以及對未來經濟前景展望的指引;職位空缺、CPI、PPI和就業報告數據都是美聯儲觀察的目標;終端利率可能高于我們的預期。[2023/3/8 12:50:03]
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編譯成新的虛擬機操作碼
Meta首席執行官扎克伯格將于明年卸任:金色財經報道,消息人士稱,Meta首席執行官扎克伯格將于明年卸任。Meta Platforms(META.O)短線拉升,現漲超1%。[2022/11/23 7:57:48]
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/
來源:金色財經
原文標題:《a16z分析師深度文章:元宇宙時代,游戲基礎設施有哪些新機會?》原文編譯:GameLook試想,你下載了一款超級熱門的跑酷游戲,游戲內角色立即獲得了新技能.
1900/1/1 0:00:002012年的時候,你注定要成為神諭,被現在所困擾,被別人看不到的未來所證明。看,你正試圖與你室友的煙斗爭奪注意力,以解釋你已經瞥見了未來,它是一個鍍金的、奇妙的真理燈塔,一種具有神化普通人的力量.
1900/1/1 0:00:00投資上只有一個方向,不是做多,也不是做空,只有做對的方向。我是縱橫幣海,一個愿陪你東山再起的朋友.
1900/1/1 0:00:001.金色觀察|頂級VC:未來6個月看好這15個加密項目和趨勢如果你只有幾分鐘的閱讀時間,下面的內容是作為投資者、運營商或創始人的你應該了解的:關于當前最令人興奮的加密趨勢.
1900/1/1 0:00:00——別太在乎眼前的得失,專注于自己心中最渴望的目標,這一秒沉住氣,下一秒才更有底氣。 最近碰到過很多爆倉的朋友,也在網上看到過很多說合約只有虧錢沒有賺錢的,我相信這兩者肯定是同一類人;絕大.
1900/1/1 0:00:00本輪的加密市場熊市“物競天擇,適者生存”,得到了最好的體現,無論是遭到資產清算的加密平臺還是那些因為杠桿而崩盤的交易所,都是無法適應這個市場的發展淘汰.
1900/1/1 0:00:00