BTC/HKD+0.47%
ETH/HKD-0.26%
LTC/HKD-0.92%
DOT/HKD-0.2%
ADA/HKD+0.59%
SOL/HKD-1.14%
XRP/HKD-0.52%
DOGE/US-0.7%Vitalik是希望隨著時間的推移，通過zkEVM的改進和以太坊本身的改進相結合，最終所有zkEVM都成為Type-1類。這樣的好處在于，未來會有多個zkEVM，既可以用于ZK Rollup，也可以用于驗證以太坊鏈本身（未來以太坊會對ZK-SNARK更加友好）。
作者：0x1
原文：《zkSync2.0主網上線之際淺析各類zkEVM》
以太坊的發展路線越來越傾向于Modular Blockchain，其本質就是Layer1的data sharding和Layer2的Rollups擴容相結合，成為一種模塊化架構，從而推動以太坊實現“世界計算機”的初衷。其中Rollups的技術路徑選擇方面，ZK Rollup被認為是以太坊擴容的最終目標。
ZK Rollup的核心工作機制是將鏈上的用戶狀態壓縮存儲在一棵Merkle樹中，并將用戶狀態的變更轉移到鏈下進行，同時通過 zksnark/zkstark證明來保證該鏈下用戶狀態變更過程的正確性。通俗地理解，ZK Rollup可以理解為通過zksnark或zkstark來使用亞線性處理以驗證線性數量的語句。比如，1000條語句需要10次驗證者檢查，10000條語句需要11次驗證者檢查。所以，呈現出來的結果是，ZK rollup可以實現以太坊擴容。
ZK Rollup的大致區塊鏈事務處理過程如下：
數據：zkSyncEra網絡上共發行超820萬個NFT:金色財經報道，NFTScan數據顯示，截至8月2日，zkSyncEra網絡上共發行8,219,555個NFT，創建了39,805個NFT集合，產生了11,187,598筆鏈上交易，持有NFT資產的錢包地址為1,687,406個。[2023/8/2 16:14:27]
用戶將他們的資產鎖定在L1上的zk rollup智能合約中；
用戶將涉及這些資產的交易提交給L2，L2中的某些角色（Sequencer，早期多數項目是中心化的，也有項目開始采用去中心化方式）將這些交易通過某些規則收集成有序批次，并為每個批次生成有效性證明（zksnark/zkstark）和聚合狀態更新；
這個狀態更新和證明被提交到L1的zk rollup智能合約并被驗證，就會更新在L1的區塊鏈上；
用戶可以使用這種L1狀態（取決于不同的數據可用性機制）來檢索他們的資產，從而實現完全的自我托管，所以zk rollup也被認為繼承了以太坊安全。
眾所周知，第一代的ZK Rollups是不支持EVM的，可編程性和可組合性較差，只能限定在一些特定的場景，比如：Loopring只能限定在Payments&Swaps等場景；Immutable只能限定在NFT Minting&Trading&Games等場景；zksync1.0其實也不支持zkEVM。不具有通用性。
后來，頭部的那些ZK Rollups開始探索，在ZK Rollup上研發支持EVM字節碼的代碼執行環境，從而使得以太坊上的智能合約可以從以太坊遷移到ZK Rollup上，而無需從頭開始編寫代碼。
iZiSwap在zkSync Era正式開啟流動性質押激勵:5月20日消息，zkSync Era生態DEX平臺iZiSwap已開啟流動性質押挖礦，支持DEXTF/USDC，ZKSP/ETH，RF/ETH，OT/USDC，SPACE/ETH 五個流動性池。
此批提供流動性質押激勵的五個流動性池為iZiSwap推出的zkSync Era大型流動性激勵計劃“The Ultra Evolution”的首批參與項目。[2023/5/20 15:15:39]
EVM是第一個圖靈完備的區塊鏈虛擬機，于2015年發布。它是迄今為止最久經考驗的區塊鏈虛擬機，也是以太坊非常重要的智能合約基礎設施。甚至在談到其他區塊鏈時，也會將EVM兼容與否作為一個評判維度，因為EVM兼容的背后代表的不僅僅是智能合約執行環境，也代表著可用的以太坊生態和工具集，更代表著不可忽視的網絡效應。所以，ZK Rollups也沒敢忽略這一塊兒。
zkEVM則可以理解為將EVM作為智能合約引擎運行在ZK Rollup中。zkEVM的目標是在不失去Rollup性能優勢的基礎上，將以太坊體驗完全帶入到L2。
截至目前，zkSync2.0、Polygon Hermez2.0、Scroll等頭部的通用ZK Rollup項目都已經先后推出了zkEVM測試網，StarkNet則已經進入到了Alpha Mainnet階段。
當前的ZK Rollups的zkEVM與Ethereum本身并非完全兼容，更遑論“以太坊等效”的終極愿景。所以，不僅以太坊本身的升級規劃在遷就Rollup友好型，各個ZK Rollup項目也一直在解決與以太坊的兼容性問題。
ZKSwap流動性挖礦產量降低16.6%:據官方消息，此前ZKSwap于4月9日開啟的流動性挖礦加碼活動已于今日18時完成第一次減產，接下來這一階段（4月17日18時-4月24日18時），BBTC/WBTC、BBTC/ETH、WBTC/ETH流動性挖礦加碼以及BBTC、WBTC、ETH單幣挖礦池產量均下降16.6%。[2021/4/17 20:31:35]
Vitalik根據與現有EVM基礎設施的兼容性程度，將zkEVM通用ZK Rollup分為4類：
Type-1：完全等效于以太坊
Type-1型zkEVM力求完全且毫不妥協地與以太坊等效。無需改變以太坊系統的任何部分，無需取代哈希、狀態樹、事務樹、預編譯或任何其他共識邏輯。簡而言之，Type-1型的zkEVM完全等效于Ethereum。
Type-1型zkEVM能夠像以太坊一樣驗證以太坊區塊，或者至少驗證執行層端（包括所有交易執行、智能合約和賬戶邏輯，不包括信標鏈共識邏輯）。
Type-1型zkEVM是以太坊最終需要的，也是Rollups的最理想選擇。一方面，Type-1型zkEVM可以讓Rollups重用大量的基礎設施（例如：Ethereum Execution Clients、Block Explorers、Block Production等）；另一方面，Type-1型zkEVM能使得以太坊Layer1本身更具可擴展性，因為在Type-1型zkEVM上探索的一些對以太坊的修改，也許未來會被引入到Ethereum本身。
LBank將于1月20日18:00上線ZKS交易:據官方消息，LBank將于1月20日18:00上線ZKS/USDT交易對，并于1月20日17:00開啟充值。上線同一時間，開啟50%年化收益的ZKS持幣生息活動。
據了解，ZKSwap是一套基于自動化做市商的代幣Swap協議。通過ZK-Rollup技術在Layer-2實現了uniswap的全套功能，同時提供無限可擴展性和隱私性。ZKSwap為流動性提供者和交易者提供超高吞吐量的Swap基礎設施，且交易無需任何Gas費用。?[2021/1/20 16:36:48]
當然，Type-1型zkEVM也有缺陷。以太坊最初并非圍繞ZK友好型設計的，因此以太坊協議的許多部分需要大量計算才能進行ZK證明。Type-1型與以太坊一樣，無法緩解在這個事情上的低效（在生成證明方面，需要較長時間）。針對這個問題，目前行業里提出的解決方案主要是：通過巧妙的工程大規模并行化證明，或通過ZK-SNARK ASIC來實現硬件加速。
目前，主要有兩個團隊在嘗試探索Type-1 ZK-EVM，一個是Privacy and Scaling Explorations team，一個是Taiko。
Type-2:完全等效于EVM
Type-2型zkEVM力求完全等效于EVM，但不完全等效于以太坊。它們與現有的應用程序也完全兼容，但需要對以太坊進行一些小的修改，以使開發更容易并更快地生成證明。
Type-2型zkEVM對區塊結構和狀態樹之類的數據結構有一些修改。由于這些是EVM本身無法直接訪問的結構，所以在以太坊上運行的應用程序幾乎可以直接在Type-2型zkEVM Rollup上運行。雖然無法按原樣直接使用以太坊執行客戶端，但通過一些修改仍可以使用它們，并且還可以使用EVM調試工具和大多數其他開發工具。
ZKSwap24小時交易筆數超過10萬筆 預計2月初上線以太坊主網:1月18日消息，基于ZK Rollup擴容技術的AMM去中心化交易所ZKSwap過去24小時處理的交易筆數超過10萬筆交易，其中包括47,977筆Layer2的swap交易和61,584筆Layer2到Layer1的提現交易。另外，根據系統在以太坊主網的部署情況，ZKSwap預計會在2月1日至2月8日之間上線以太坊主網。主網上線之后，ZKSwap將會進一步開發分布式的零知識證明網絡和Layer2的隱私支付工具（率先支持USDT的layer2隱私支付）以及隱私兌換協議（所有swap過程全部隱私）以及未來支持ERC-721和NFT token的swap交易。目前ZKSwap部署在以太坊Ropsten測試網上，是一個非常接近以太坊主網的測試網絡。ZKSwap團隊將在1月25號開啟測試網最后一輪活動，將測試流動性挖礦、交易即挖礦和智能合約鎖倉挖礦，以及模擬主網上線的環境和活動。除此之外，ZKSwap開發團隊已經完成了plonk算法的GPU版本的實現，TPS也會有大幅提升，在上線主網的時候也會部署。[2021/1/18 16:27:18]
通過刪除部分不必要的和ZK不友好的以太坊堆棧，Type-2 zkEVM的證明時間比Type-1 zkEVM更快些。這些修改雖然顯著提高了證明者的效率，但并沒有根本性解決證明時間慢的問題。總而言之，Type-2的證明時間還是很慢。
Type-3:幾乎等效于EVM
Type-3型zkEVM幾乎與EVM等效，在兼容性方面也有所犧牲，但其EVM更易于開發。
Type-3型zkEVM通過刪除一些在zkEVM中很難實現的功能（比如：預編譯），以及在處理合約代碼、內存或堆棧方面的調整，總體在等效性方面做出了一些犧牲，實現了更多的驗證器時間、并使EVM更易于開發。
在兼容性方面有所犧牲，由于有一些應用程序使用了被Type-3型zkEVM刪除的預編譯，這些應用程序需要對其中的部分進行重寫。
目前，Scroll和Polygon都屬于Type-3。當然，從長遠來看，還沒有哪個zkEVM團隊公開表明愿意長期停留在Type-3。Scroll和Polygon Hermez都在朝著Type-2型zkEVM的方向發展，雖然還有許多復雜的預編譯還沒有實現。
Type-4:高級語言等效
Type-4類實際上屬于zkVM。Type-4系統通過獲取以高級語言（Solidity、Vyper）編寫的智能合約源代碼，并將其編譯為明確設計為ZK-SNARK友好的某種語言來工作。
優劣勢都很明顯。有非常快的驗證時間，因為Type-4類不對每個EVM執行步驟的所有不同部分進行ZK證明，而是從更高級別的代碼開始，從而降低成本并獲得更快驗證時間。兼容性較差，合約在Type-4系統中的地址與它們在EVM中的地址不同；手寫的EVM bytecode更難使用；很多調試的基礎設施不能被繼承，因為這些基礎設施是運行在EVM字節碼上。
總而言之，Type-4屬于語言級別等效，與字節碼級別等效相比在兼容性方面有較大差距。根據Vitalik的觀點，目前主要有Zksync屬于Type-4類，盡管隨著時間的推移它可能會增加對EVM字節碼的兼容性；基于Nethermind的warp項目正在構建從Solidity到Starkware的Cairo編譯器也會把StarkNet變成Type-4型。
這些zkEVM并沒有絕對的優劣之分。它們只是在兼容性與速度之間有所取舍，Type-1型zkEVM與以太坊的兼容性最高，但證明速度較慢；Type-4型zkEVM與以太坊的兼容性較差，但驗證速度更快。而且我們會發現，現有的ZK Rollup的明星項目，包括Zksync、StarkNet、Polygon、Scroll等都屬于Type-4/Type-3這樣的與以太坊兼容性沒有那么高的zkVM/zkEVM類型。
Vitalik是希望隨著時間的推移，通過zkEVM的改進和以太坊本身的改進相結合，最終所有zkEVM都成為Type-1類。這樣的好處在于，未來會有多個zkEVM，既可以用于ZK Rollup，也可以用于驗證以太坊鏈本身（未來以太坊會對ZK-SNARK更加友好）。
Vitaliki提出的觀點，一般來說很容易達成整個行業的共識，我也非常認可。Type-1型zkEVM的項目在Ethereum生態自然是最受歡迎的、也比較匹配Ethereum L1。但Type-4類zkVM也未嘗不是執行層項目的一個好的技術方案選擇。主要有兩點考慮：
放在Modular Blockchain的敘事下，zkVM更方便對接其他L1。如果跳出只是做以太坊生態L2的思維，沒有在字節碼級別兼容以太坊虛擬機，而是選擇采用zkVM，也許反而方便未來對接到其他的L1共識層；
現在ZK Rollup的性能頂板是受限于證明生成速度，Type-4類zkVM有優勢。執行層的生成證明的速度還是非常重要的，L2把執行層的性能做到極致，也未嘗不是一個好的思路。雖然說未來能夠通過ASIC硬件加速來提高生成證明的效率，但效果猶未可知，Type-4類zkVM的證明生成速度較快是個挺重要的優勢。
當然，zkEVM的兼容性和速度實際上并不是開發者考量基于哪個ZK Rollup去做應用的唯一指標。還有許多其他的因素會影響他們的選擇，比如：
費用：以哪些代幣支付費用，L2費用的降低程度也是一個非常重要的考量因素，但由于多數通用ZK Rollup項目還處于測試網階段，尚無法做對比；
生成證明的規則：支持哪些人作為Prover，甚至采用哪種硬件來加速生成證明；
L2交易排序的規則：采用單個Sequencer還是采用去中心化的方式；
自托管：是否有明確的機制來確保L2發生事故的時候仍然能夠在L1恢復用戶資產；
數據可用性：完整的數據可用性成本自然要高些，是否可接受有些ZK Rollup采用的較低成本的數據可用性模式。
總而言之，每種ZK Rollup的zkEVM是在諸多性能中有所取舍，實際并沒有絕對的優劣之分。
0x1
個人專欄
閱讀更多
金色早8點
1435Crypto
區塊律動BlockBeats
吳說區塊鏈
金色財經
比推 Bitpush News
blockin
Block unicorn
Foresight News
Odaily星球日報
Bankless
DeFi之道
撰文：Donovan Choy,Bankless 撰稿人 編譯：Zion 以太坊尚未實現抗審查……以下是開發者正在采取的措施。所有人都知道監管機構討厭加密貨幣,但這一制裁令 DeFi 措手不及.
1900/1/1 0:00:00原文作者：Joseph|原文翻譯：Diamond本文來自The SeeDAO。 今年早些時候,Vitalik 通過他的“Soulbound”文章開創了 NFT 的新時代.
1900/1/1 0:00:00西班牙《阿貝賽報》網站10月9日刊登題為《元宇宙一周年,我們仍不知道它是什么,何時到來》的文章,作者是羅德里戈·阿隆索.
1900/1/1 0:00:00原文來源：SBF原文編譯：深潮11 月 9 日,加密世界進入新紀元,FTX 遭遇流動性困難,CZ 表示將收購 Ftx.com,站在風口浪尖的 SBF 給投資者發送了一封信,以下為全文： 嗨.
1900/1/1 0:00:00沉寂已久的NFT市場終于迎來一波小熱潮。由頂級風投Paradigm聯合Justin Roiland（知名動畫「Rick and Morty」共創兼執行制片人）推出的Art Gobblers賺足市.
1900/1/1 0:00:00研究框架： 一、什么是 NFT 碎片化/NFT AMM 二、產品特征和適用場景 三、賽道現狀和社區調查 四、兩種方式分別解決并帶來了什么問題 五、觀點/未來 一、NFT 碎片化/NFT AMM定.
1900/1/1 0:00:00
以太坊交易所
