本文詳細探討了ZK-EVM的五種類型,每種類型都有其獨特的架構、優點和缺點,以及可能的解決方案。
此外文章還列舉了一些實際的項目例子,以便讀者更好地理解這些類型在實際應用中的表現。無論你是區塊鏈開發者,還是對區塊鏈技術感興趣的讀者,這篇文章都將為你提供深入且簡潔的洞見。
讓我們探討一下ZK-EVM的類型,以及它的優缺點。
1.類型1:完全等同于以太坊;
2.類型2:完全等同于EVM;
3.類型2.5:部分等同于EVM;
4.類型3:幾乎等同于EVM;
5.類型4:其中的高級語言等同。
加密交易平臺BitGoldEx完成A輪戰略融資:金色財經報道,加密交易平臺BitGoldEx宣布完成A輪戰略融資,投資方為BAIF Group,該平臺將利用這筆新融資擴大業務范圍和市場推廣,增加自主合約交易產品,并對未來千億規模的Web 3.0市場進行戰略布局。據悉,目前BitGoldEX已在英國、美國、新加坡、日本、伊朗、伊拉克、土耳其等29個國家和地區獲得金融服務牌照。(digitaljournal)[2022/10/23 16:36:08]
類型1:完全等同于以太坊
架構:完全同于以太坊且不改變以太坊系統的任何部分。
優點
完美兼容性:
能夠驗證以太坊區塊;
幫助使以太坊L1更具可擴展性;
適用于Rollups,因為它們可以重復使用大量基礎設施。
以太坊網絡當前已銷毀254.18萬枚ETH:金色財經報道,據Ultrasound數據顯示,截止目前,以太坊網絡總共銷毀2541859.06枚ETH。其中,OpenSea銷毀230049.48枚ETH,ETHtransfers銷毀234389.71枚ETH,UniswapV2銷毀135015.88枚。
注:自以太坊倫敦升級引入EIP-1559后,以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee,而這部分的費用將直接燃燒銷毀。[2022/7/17 2:19:18]
缺點
完美兼容性:
以太坊最初不是為ZK功能設計的;
以太坊的許多組件需要大量計算來生成ZK證明;
以太坊區塊的證明需要很多小時才能生成。
問題的解決方案:
大規模并行化證明者;
數據:XRP唯一地址數量首次超過20萬:7月1日消息,鏈上行為分析平臺Santiment發文稱,XRP唯一地址的數量首次超過20萬,創下自2020年2月以來的最高水平;在周四的市場下跌中,XRP表現也優于大多數山寨幣,值得重點關注。[2022/7/1 1:44:11]
ZK-SNARKASIC.
類型2:完全等同于EVM
架構:
數據結構與以太坊有顯著區別;
與現有應用程序完全兼容;
對以太坊進行了微小修改,以便更容易開發和更快生成證明。
優點
提供比類型1更快的證明時間;
數據結構不直接被EVM訪問;
在以太坊上運行的應用程序:很可能可以在類型2上運行;
支持現有的EVM調試工具和其他開發基礎設施。
加密KOL:Nouns官方推特賬號被盜,謹慎點擊相關鏈接:6月27日消息,加密KOL ZachXBT在其社交網站發文表示,Nouns官方推特賬號(@nounsdao)被盜,黑客借機發布釣魚網站信息,提醒用戶謹慎點擊相關鏈接。[2022/6/27 1:33:25]
缺點
在了解缺點之前,先了解什么是「Keccak」:
以太坊區塊鏈的哈希算法;
用于保護以太坊上的數據;
確保信息被轉換為哈希。
類型2與驗證歷史區塊的Merkle證明以驗證有關歷史交易、收據/狀態的應用程序不兼容。這是因為如果哈希算法發生變化,證明將會失效。
我們可以將Keccak看作是一種語言,它使用Merkle證明如果ZK-EVM將Keccak替換為另一種哈希算法,Merkle證明將變得陌生,應用程序將無法讀取和驗證它們的聲明。
對缺點的潛在解決方案:以太坊可以添加未來可擴展的歷史訪問預編譯。
項目
Scroll;
PolygonHermez.
然而,這些項目尚未實現更復雜的預編譯,因此,它們可以被認為是不完整的類型2。
類型2.5:部分等同于EVM
架構:
增加難以進行ZK證明的特定EVM操作的Gas成本;
預編譯;
Keccak操作碼;
調用合約的模式;
訪問內存;
存儲。
優點
顯著提高最壞情況下的證明時間;
比對EVM堆棧進行更深層次的更改更安全。
缺點
開發工具的兼容性降低;
一些應用程序將無法工作。
類型3:幾乎等同于EVM
架構:
在ZK-EVM實現中,刪除了一些異常難以實現的功能,通常是預編譯;
ZK-EVM在處理合約代碼、內存或堆棧方面存在輕微差異。
優點
縮短驗證時間;
讓EVM更容易開發;
目標是對不太兼容的應用程序只需要最少的重寫。
缺點
更多的不兼容性;
在類型3中刪除的使用預編譯的應用程序將需要重新編寫。
項目
目前,Scroll和Polygon被認為是類型3,然而,ZK-EVM團隊不應滿足于成為類型3,類型3是ZK-EVM添加預編譯以提高兼容性并轉向類型2.5的過渡階段。
類型4:高級語言等同
架構:
接受用高級語言編寫的智能合約代碼;
編譯為設計為ZK-SNARK友好的語言。
優點
非常快的證明時間;
降低開銷;
降低成為證明者的門檻:提高去中心化程度。
缺點
在類型4系統中,合約的地址可能與EVM中的地址不同,因為地址取決于確切的字節碼;
這意味著如果類型4的ZK-EVM沒有字節碼,它們將無法創建地址;
在上述情況下,類型4將與依賴反事實合約的應用不兼容;
許多調試基礎設施無法移植,因為它們運行在EVM字節碼上。
項目
zkSync
最后,我們可以將上述的幾種類型放在一起做一個比較,幫助大家一目了然的理解不同的zkEVM。
Tags:以太坊區塊鏈Polygon以太坊幣是什么幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢Polygon幣是什么幣
作為DeFi的領導者,Uniswap的交易量已超過了許多中小交易所。觀察Uniswap上的新增代幣交易對的情況,有助于我們了解最新的動向.
1900/1/1 0:00:00關于應用鏈未來的一個案例研究。 在過去的幾個月里,人們對特定于應用的區塊鏈越來越感興趣,通常我們稱它們為應用鏈.
1900/1/1 0:00:00亨利·梅因《古代法》里的一句話:“所有進步社會的運動,到此處為止,都是一個‘從身份到契約’的運動”.
1900/1/1 0:00:00要點: Matterlabs是zkSync的開發公司,一直致力于開發其獨特的zkEVM、創建偉大的產品.
1900/1/1 0:00:00Web3游戲跨越鴻溝,本質是要實現外部性的收入,而且這個收入能夠支撐起整個游戲的內部經濟運轉。它不再是通過后來進入用戶的投入來支撐更早進入用戶的收益.
1900/1/1 0:00:00DeFi的技術基礎已被證明對過去幾個月的災難性市場事件具有令人難以置信的彈性。在DeFi軌道上構建新一代金融服務的機會從未如此之大,但這個行業需要解決一些顯著的挑戰.
1900/1/1 0:00:00