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

深入研究 zkEVM 的五種類型的優缺點_ROLL

Author:

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

自以太坊合并完成之后,以太坊社區已經將關注點轉移到如何開始擴展區塊鏈以實現更便宜的交易費用、更快的交易和更高的吞吐量,同時保持建立在這個區塊鏈之上的DeFi協議和其他dAPP的安全性。零知識以太坊虛擬機(zkEVM)目前構成了在以太坊社區內開發的最廣受好評的擴展技術之一。

圖片來源:由無界版圖AI?工具生成。

本文的重點將研究zkEVM和zkEVM領域中需要注意的一些關鍵項目。要了解zk-EVM是什么,我們首先需要了解兩個關鍵概念;零知識Rollup(zk-Rollups)和以太坊虛擬機(EVM)

什么是ZK-Rollups

ZK-Rollup是一種在以太坊區塊鏈之上運行的第2層擴展解決方案。ZK-Rollups是鏈下協議,它在以太坊區塊鏈之外執行交易,然后通過鏈上Rollup合約將交易批次提交回鏈上。ZK-rollup處理交易、執行計算并在鏈下存儲數據,同時將資產保存在鏈上智能合約中。

LayerZero鏈上活躍賬戶總量突破130萬個:金色財經報道,LayerZero數據顯示,Arbitrum鏈上活躍賬戶總量已突破130萬,本文撰寫時已創建賬戶總量為1,369,757個。昨日鏈上交易筆數為1447571個。

此前消息,全鏈互操作性協議LayerZero的開發團隊LayerZero Labs表示,本月即將發布激動人心的公告,請保持關注。[2023/5/10 14:54:09]

本質上,ZK-Rollups處理鏈下交易以減少在執行交易時對區塊空間的需求,然后將結果發送到以太坊區塊鏈。ZK-Rollups本質上稱為零知識,因為在交易完成后,它們會作為一個批次發送回以太坊區塊鏈,并證明它們是有效的。這些證明被稱為短的非交互式知識論證。zk-SNARK是用于驗證數據真實性的方法,而無需透露交易的全部細節。

加密貨幣總市值為1.14萬億美元,24小時漲幅達1.1%:金色財經報道,據CoinGecko數據顯示,當前加密貨幣總市值為1.14萬億美元,24小時漲幅達1.1%,24小時交易量為828.79億美元,當前比特幣市值占比為40.3%,以太坊市值占比為17.3%。[2023/2/24 12:25:59]

來源:Vocdoni

ZK-Rollups架構有兩個關鍵組件:

鏈上合約:ZK-Rollups由運行在以太坊網絡上的智能合約控制。以太坊區塊鏈作為主合約,存儲匯總塊和排序,跟蹤存款,并存儲匯總狀態。鏈上合約還充當驗證者,確保ZK-Rollup生成的塊。鏈下虛擬機:鏈下虛擬機獨立于以太坊虛擬機,是ZK-Rollup架構中處理交易的地方。這確保了以太坊主網絡上的區塊空間減少。現在讓我們看看什么是以太坊虛擬機:

什么是EVM

SBF律師:有人曾駕車撞進SBF家外的路障,凸顯SBF面臨的安全風險:1月20日消息,在周四向曼哈頓聯邦法院提交的一份文件中,前FTX首席執行官Sam Bankman-Fried(SBF)的律師Mark Cohen和Christian Everdell表示,一輛汽車撞向了他位于加州的家外的金屬路障。他們表示,最近發生的這起事件突顯了SBF面臨的安全風險,以及那些確保他重返法庭的風險。

根據律師描述,三名男子從車里出來,對守在SBF的家中的一名保安說,“你不能把我們趕出去。”這些身份不明的男子隨后回到車上,開車離開。但律師沒有具體說明事件發生的時間,僅稱是最近發生的。

目前SBF正被軟禁在加州家中。律師們提出這一事件是為了回應路透社等主要媒體的一項努力。此前1月13日消息,彭博社、路透社等八家媒體委托律師向法院申請披露SBF保釋擔保人身份。(路透社)[2023/1/20 11:23:13]

資料來源:以太坊基金會?

以太坊虛擬機(EVM)是一種數據處理引擎,其功能類似于具有大量可執行項目的分布式計算機。它是虛擬機,是以太坊整個運營結構的基礎。它被視為以太坊中處理執行和智能合約部署的組件。每個以太坊節點運行一個EVM,在每次交易后更新,以確保以太坊網絡的狀態在整個系統中是一致的。

FTX US總法律顧問要求所有員工保留工作文件:金色財經報道,據知情人士透露,FTX美國總法律顧問Ryne Miller命令所有員工保留他們在FTX、FTX US、Alameda及其附屬公司工作時的電子郵件、信息、筆記和文件。知情人士稱,他在全公司范圍的信息中稱過去幾天發生的一系列事件是“令人失望的進展”。

這一指示突顯出,FTX的突然崩盤可能會帶來復雜的法律風險。本周,FTX凍結了所有提款,因其被指對數十億美元的客戶資金處理不當。它還面臨著來自聯邦和州官員的多項調查。(coindesk)[2022/11/11 12:46:18]

現在我們已經研究了ZK和EVM的兩個關鍵概念,讓我們研究一下zkEVM是什么:

zkEVM—更深入的研究

zkEVM結合了ZK-Rollups和EVM的概念。因此,zkEVM允許開發dAPP,在使用以太坊虛擬機處理交易和執行智能合約的同時最大化隱私。

數據:近24小時全網爆倉1.79億美元:金色財經報道,據Coinglass數據,近24小時全網爆倉1.79億美元,其中以太坊爆倉5068.79萬美元,比特幣爆倉3859.59萬美元。[2022/9/22 7:12:25]

來源:ZK7?

zkEVM的類型

關于zkEVM的執行有不同的思想流派。然而,以太坊的創造者VitalikButerin已經普及了zkEVM的分類。讓我們來看看Vitalik提出的這些分類。

資料來源: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的成功至關重要。但是,同樣重要的是要注意,其中一些解決方案是實驗性的,并且這個空間正在迅速發展,因此我們懇請您在做出任何投資決定之前密切關注該空間。

Tags:以太坊TYPETYPROLL以太坊官網下載appTYPE幣Platypus FinanceTROLLER

芝麻開門交易所下載
Web3 投資的二十條準則:寫于FTX爆雷后_ETH

巴菲特被公認為「世界上最偉大的投資者」,嘗試從他的角度去思考一些當下的問題,我覺得挺有意思、也有價值.

1900/1/1 0:00:00
【教程】關于如何在 @Scroll_ZKP Pre-Alpha Testnet 上互動以獲得未來獎勵的逐步驟指南

Scroll是一個zkEVM網絡,從Layer1的智能合約中接收常規字節碼,利用GPU能力在鏈外生成零知識證明,然后在以太坊Layer1驗證新狀態.

1900/1/1 0:00:00
Vitalik:探索公共物品資金分配優先次序-Revenue-Evil 曲線_EVE

公共物品在任何大規模生態系統中都是一個非常重要的話題,但通常也是一個難以定義的話題。這里有三種不同的定義:經濟學家:非排他性和非競爭性物品,這兩個技術術語合在一起意味著很難通過私有財產和基于市場.

1900/1/1 0:00:00
為什么加密交易平臺要用默克爾樹證明儲備金?_BIT

注:11月9日Binance創始人CZ建議各大交易平臺都采用默克爾樹證明資金儲備情況。而受到本次事件影響,部分交易平臺雖然此前已證明過資金儲備量,但也將再次采用默克爾樹方式來提高平臺資金透明度.

1900/1/1 0:00:00
新項目 | Sei:主攻交易場景的Layer 1_DEFI

自Uniswap?發明了AMM這一DEX的核心機制之后,DeFi發展日新月異,交易量也不斷攀升,從CEX中虎口奪食.

1900/1/1 0:00:00
紅杉資本談生成式AI:預計AI的殺手級應用將出現,比賽正在進行_CTI

13年前,我采訪Wolfram|Alpha的創始人、美國計算機科學家史蒂芬.沃爾弗拉姆時,大吃一驚.

1900/1/1 0:00:00
ads