自以太坊合并完成之后,以太坊社區已經將關注點轉移到如何開始擴展區塊鏈以實現更便宜的交易費用、更快的交易和更高的吞吐量,同時保持建立在這個區塊鏈之上的DeFi協議和其他dAPP的安全性。零知識以太坊虛擬機(zkEVM)目前構成了在以太坊社區內開發的最廣受好評的擴展技術之一。
圖片來源:由無界版圖AI?工具生成。
本文的重點將研究zkEVM和zkEVM領域中需要注意的一些關鍵項目。要了解zk-EVM是什么,我們首先需要了解兩個關鍵概念;零知識Rollup(zk-Rollups)和以太坊虛擬機(EVM)
什么是ZK-Rollups
ZK-Rollup是一種在以太坊區塊鏈之上運行的第2層擴展解決方案。ZK-Rollups是鏈下協議,它在以太坊區塊鏈之外執行交易,然后通過鏈上Rollup合約將交易批次提交回鏈上。ZK-rollup處理交易、執行計算并在鏈下存儲數據,同時將資產保存在鏈上智能合約中。
法國財長勒梅爾:會密切關注硅谷銀行的情況:金色財經報道,法國財長勒梅爾:法國銀行業擁有較高水平的流動性,法國銀行業受到了極其嚴格的監管。我們會密切關注硅谷銀行(SVB)的情況。硅谷銀行倒閉不會對法國銀行體系構成風險。[2023/3/13 13:00:39]
本質上,ZK-Rollups處理鏈下交易以減少在執行交易時對區塊空間的需求,然后將結果發送到以太坊區塊鏈。ZK-Rollups本質上稱為零知識,因為在交易完成后,它們會作為一個批次發送回以太坊區塊鏈,并證明它們是有效的。這些證明被稱為短的非交互式知識論證。zk-SNARK是用于驗證數據真實性的方法,而無需透露交易的全部細節。
來源:Vocdoni
ZK-Rollups架構有兩個關鍵組件:
鏈上合約:ZK-Rollups由運行在以太坊網絡上的智能合約控制。以太坊區塊鏈作為主合約,存儲匯總塊和排序,跟蹤存款,并存儲匯總狀態。鏈上合約還充當驗證者,確保ZK-Rollup生成的塊。鏈下虛擬機:鏈下虛擬機獨立于以太坊虛擬機,是ZK-Rollup架構中處理交易的地方。這確保了以太坊主網絡上的區塊空間減少。現在讓我們看看什么是以太坊虛擬機:
張家口懷來縣發布新政策扶持元宇宙產業:金色財經報道,據張家口市網信辦消息,近日,在2022中國國際數字經濟博覽會上,張家口市懷來縣以視頻形式發布新政策,扶持元宇宙產業發展。根據此次發布的新政策,懷來將在三方面重點支持元宇宙產業發展:圍繞元宇宙產業鏈發展,鼓勵企業加快5G通信技術、云計算、區塊鏈、人工智能等元宇宙基礎設施建設;鼓勵企業研發生產虛擬主機、VR(虛擬現實)等元宇宙終端設備;支持企業在數字虛擬人、工業互聯網等領域開展元宇宙場景內容搭建和生產。懷來將加大對企業入駐扶持力度,在懷來設立總部,經認定為元宇宙總部型企業,給予辦公用房、資金獎勵等扶持。[2022/11/23 7:59:06]
什么是EVM
資料來源:以太坊基金會?
以太坊虛擬機(EVM)是一種數據處理引擎,其功能類似于具有大量可執行項目的分布式計算機。它是虛擬機,是以太坊整個運營結構的基礎。它被視為以太坊中處理執行和智能合約部署的組件。每個以太坊節點運行一個EVM,在每次交易后更新,以確保以太坊網絡的狀態在整個系統中是一致的。
加密貨幣交易平臺WazirX已裁員40%:10月1日消息,據印度加密貨幣交易平臺WazirX一份聲明表示,已解雇40%員工,約50至70人左右,被解雇員工被告知將獲得45天的薪資。此外,聲明還透露,“由于當前的全球經濟放緩,加密市場一直處于熊市之中,印度加密貨幣行業在稅收、法規和銀行準入方面存在部分問題。這導致所有印度加密貨幣交易所的交易量急劇下降”。
據CoinGecko數據數據,WazirX日交易量一直穩步下滑,從2021年10月28日的一年高點4.78億下降到 2022年10月1日的150 萬。消息人士稱,有些日子的交易量低于一百萬,“這不足以支持運營”。(CoinDesk)[2022/10/1 22:44:09]
現在我們已經研究了ZK和EVM的兩個關鍵概念,讓我們研究一下zkEVM是什么:
zkEVM—更深入的研究
zkEVM結合了ZK-Rollups和EVM的概念。因此,zkEVM允許開發dAPP,在使用以太坊虛擬機處理交易和執行智能合約的同時最大化隱私。
Bitfinex宣布支持Cardano的Vasil硬分叉:金色財經報道,根據Bitfinex最新發布的博客內容顯示,該加密交易平臺已經宣布支持Cardano的Vasil硬分叉,據悉他們對一些新功能的支持將會在本周二(9月27日)啟動,Bitfinex同時表示,Vasil硬分叉不會影響相關交易、存款和取款。[2022/9/27 22:32:04]
來源:ZK7?
zkEVM的類型
關于zkEVM的執行有不同的思想流派。然而,以太坊的創造者VitalikButerin已經普及了zkEVM的分類。讓我們來看看Vitalik提出的這些分類。
距離在ETH合并還剩30000個區塊:金色財經報道,距離ETH合并到權益證明(POS)之前,還剩30000個區塊。[2022/9/10 13:21:24]
資料來源:VitalikButerin的博客?
Type1zkEVM
這些類型的zkEVM也被稱為完全以太坊等效。這是因為這些EVM完全等同于以太坊,除了更容易生成證明之外,不會對區塊鏈進行任何更改。
正方:
這些類型的zkEVm與以太坊完美兼容,可以為未來在以太坊網絡上的zk集成提供基礎。
反方:
以太坊網絡最初并不是為了與zk兼容而構建的。因此,以太坊網絡可能需要大量計算來進行zk證明。因此,這些zkEVM可能會導致更長的證明時間,并最終導致更長的交易完成時間。
一些構建Type1zkEVM的項目是來自隱私和擴展探索團隊的AppliedZKP和Taiko。
--------------------------------------------------------------------------------
Type2zkEVM
Type2zkEVM實現尋求與以太坊虛擬機完全相同,但與以太坊等效略有不同。Type2zkEVM類似于以太坊區塊鏈,除了數據結構和狀態樹不同。
正方:
Type2zkEVM具有幾乎等同于EVM的虛擬機,并將確保與多個EVM調試工具和開發人員基礎設施的兼容性。
反方:
Type2zkEVM與Type1EVM一樣,具有較慢的證明時間,因為以太坊區塊鏈最初不是為了與zk兼容而構建的。但是,Type2zkEVM的時間稍快一些。
一些構建Type2zkEVM的項目包括Scroll和PolygonHermez。
Type2.5zkEVM
Type2.5zkEVM之所以如此命名,是因為它們與Type2zkEVM非常相似,只是它們改變了gas成本。因此,Type2.5zkEVM有時被稱為修改稿gas成本的EVM等效。
正方:
由于gas成本降低,Type2.5zkEVM相當便宜。
反方:
由于鏈上的gas成本發生了變化,因此存在與集成Type2.5zkEVM的軟件創建者可用的開發工具不兼容的風險,并且這種實施可能會破壞一些已構建的去中心化應用程序。
Type3zkEVM
Type3zkEVM與其他形式的不同之處在于,協議中可以調用操作的次數有硬性限制。因此,這些類型的zkEVM有時被稱為幾乎EVM等效。
正方:
Type3zk-EVM更容易構建,并且大大縮短了驗證時間,因為它們通常消除了難以實現的功能。
反方:
大多數協議目前避免保留為Type3zkEVM,直到它們能夠完全實現使其成為Type2.5zkEVM的特性。因此,由于大多數應用程序需要重寫,因此存在更高不兼容性的風險。
在它們的早期形式中,Scroll和Polygon被認為是Type3zkEVM。
Type4zkEVM
Type4zkEVM的實現是通過使用以Solidity和Vyper等高級語言編寫的智能合約代碼并將代碼編譯為zk-SNARK友好的。因此,它們被稱為高級語言等效zkEVM。
正方:
Type4zkEVM具有非常快的證明時間。
反方:
在使用solidity或vyper等高級語言編譯智能合約時,存在非常高的不兼容風險。
zkSync和來自Nethermind的Warp是構建和實施Type4zkEVM系統的項目。
最后
自以太坊合并完成以來,我們看到了擴展解決方案的增加,以確保以太坊仍然是執行去中心化金融項目和其他去中心化應用程序的首選層。因此,我們認為這個話題對于web3的成功至關重要。但是,同樣重要的是要注意,其中一些解決方案是實驗性的,并且這個空間正在迅速發展,因此我們懇請您在做出任何投資決定之前密切關注該空間。
幾天之內,SamBankman-Fried就從加密世界的白衣騎士變成了人人唾棄的賭徒。他的十億美元財富已經崩潰。他正面臨司法部和證券交易委員會的調查.
1900/1/1 0:00:00CZ與SBF之間的「戰事」超出多數人的預料。起初,大部分觀點認為,背靠華爾街資本、商業版圖宏大的FTX/Alameda并不會在此次交戰中折戟,不過是一場短暫的風波,然而,事件的后續發展卻令今日早.
1900/1/1 0:00:00當歐洲最大的數字錢包?Revolut?進入美國并推出加密貨幣產品時,它在美國的核心團隊發現自己一個周末會因為欺詐問題損失將近30萬美元.
1900/1/1 0:00:00導言 推特作為社交巨頭終于花落馬斯克之手,開啟了Web2社交平臺向Web3社交協議的進化之旅,在一系列大刀闊斧的改革進程下,我們依稀可以窺見未來的大致方向:引入更多的區塊鏈技術.
1900/1/1 0:00:00以下為推特用戶@0xAA_Science及@east_hash發布的Thread及:為什么我認為AmberGroup已接近爆雷,附帶信息來源.
1900/1/1 0:00:00《請回答Web3》第二篇:為什么說開源社區是DAO的雛型?理解開源,理解Web3,理解世界。我這一次將繼續拾起《請回答Web3》系列,分享第二篇:為什么說開源社區是DAO的雛型?我們會探討「當今.
1900/1/1 0:00:00