三分鐘讀懂以太坊擴容方案 zkEVM的基本原理與發展現狀_以太坊:MEZ價格

撰文：DeGate

原標題：《三分鐘讀懂zkEVM：以太坊擴容方案的明珠》

9月1日凌晨，以太坊擴容網絡Arbitrum宣布主網公測版本正式上線，與此同時Optimism則早已經向部分白名單應用開放，這標志著以太坊L2擴容方案的一支——OptimisticRollup正式登上了舞臺。

我們再將目光轉向L2擴容方案的另一支，ZKRollup：

zkSync于8月31日宣布推遲上線其2.0版本，基于zkEVM，zkSync2.0有望成為首個兼容EVM的ZKRollup；

8月13日，Polygon宣布以2.5億美元收購以太坊二層擴容方案Hermez，Hermez的核心技術正是其zkEVM方案；

同樣是8月13日，以太坊基金會在定期公布其支持的團隊研究與開發進度的文章中表示，過去幾個月已經資助組建了一個團隊以進行zkEVM的研發。

我們知道，Vitalik在比較兩種擴容方案時表示，短期OptimisticRollups很可能在通用的EVM計算中勝出，但最終從中長期來看，隨著ZK-SNARK技術的改進，ZKRollups將在所有場景中勝出。其中所謂「ZK-SNARK技術的改進」，主要就是指zkEVM的成功。

報告：前1000個加密項目中超三分之一未在今年更新動態:4月5日消息，根據區塊鏈營銷機構Guerilla Buzz5月1日的一份研究報告。包括Coingecko和加密貨幣交易所AAX等在內的今年排名前1000的加密項目中??有35.8%未能用任何新的書面內容更新網站和動態。此外，在這1000個項目中，不到一半(49.7%)在2023年發布了超過2篇新文章。

研究發現，在前10大加密項目中??，幣安的BNBChain更新動態最勤，今年發布了59篇新文章。排在第二位的是Polygon，共有36篇新文章，其次是Cardano。此外，加密項目最受歡迎的博客網站是免費博客托管網站Medium。（Cointelegraph）[2023/5/4 14:41:59]

可見，zkEVM已經成為以太坊擴容方案皇冠上的明珠。筆者希望通過本文，可以讓讀者了解zkEVM的基本原理與發展現狀。

zkEVM的作用

要弄清楚zkEVM的作用，我們還需要一些前置知識。

我們先從以太坊講起，從本質上來講，以太坊是一個基于交易的狀態機。

Bitpanda在宣布裁員三分之一的三周前曾表示無大規模裁員計劃:7月2日消息，加密貨幣和大宗商品交易平臺Bitpanda此前曾告訴其員工，在經濟低迷時期不會進行大規模裁員，而就在三周后，該公司就宣布了進行大規模裁員的消息。

5月31日的Slack截圖顯示，該公司首席產品官Lukas Enzersdorfer-Konrad曾試圖消除該公司將裁員和停止招聘的“傳言”。

Enzersdorfer-Konrad稱：“Bitpanda內部不會有任何形式的大規模裁員。我們還沒有達到極限，并將繼續招聘，直到我們需要的職位都招滿為止。”

他當時表示，該公司“資金非常充足”，沒有流動性問題。同時也指出該公司2022年的財務業績“低于預算”，但他表示，這是由宏觀經濟條件造成的，包括供應危機和俄烏沖突。這位高管敦促員工專注于產品和技術基礎設施的改善，為“下一輪牛市”做準備。

一位Bitpanda發言人日前對此發表評論稱：“在公司宣布重組的三周前，我們還沒有這個計劃，而且我們一直在向員工透明地傳達這些信息。”他補充說：“由于法律限制，我們無法公開溝通，在官方宣布前幾天，我們才做出了這個艱難的決定。”Bitpanda表示，它正在盡最大努力支持那些受到重組影響的員工。

此前6月25日消息，Bitpanda宣布裁員，員工人數將削減至大約730人。雖然具體裁員人數暫未公布，但據LinkedIn數據，解雇的全職和兼職員工共計約277人。（The Block）[2022/7/2 1:46:13]

從以太坊的創世紀狀態開始，通過一個區塊又一個區塊的交易，轉變成最終狀態，也即以太坊當前的狀態，狀態中包含了所有的賬戶地址和其映射的賬戶狀態。

58學院TIM：未來加密貨幣市場可能形成礦業 交易所和機構三分天下的布局:12月31日下午5點，58學院第二十八期AMA《如何布局2021加密貨幣市場》邀請到了58學院高級研究員TIM做客直播間，在談到傳統金融機構成為加密市場的新主力所帶來的影響時，TIM表示，傳統金融機構進場加密貨幣領域已是不爭的事實：MicroStrategy拿出了4.25億美元投資比特幣；全球支付平臺PayPal宣布提供加密貨幣交易服務，用戶能直接從PayPal賬戶購買，持有和出售加密貨幣；而Grayscale的比特幣信托市值也已經超過了82億美元，占比特幣總量的2.38%。隨著傳統金融機構在加密市場的不斷布局和加密市場本身的極速擴張和成長，未來加密貨幣市場可能形成礦業，交易所和機構三分天下的布局。[2020/12/31 16:10:04]

source：https://ethfans.org/posts/how-does-ethereum-work-anyway

Yearn.finance季度報告：三分之二收入來自yUSD vault:Yearn Finance（YFI）發布了第一份非正式季度報告，報告稱，Yearn Finance協議該季度的凈收入為379萬美元，其中大部分來自yVault的產品。yUSD vault占總收入的68%，是最大的收入來源。9月份引入的yETH vault在這段期間產生了54.5萬美元的收益，但為了降低風險和損失很快將其暫停。yETH vault仍然對存款人關閉，其收益不足1%，但是Yearn將在即將發布的第二版vault中重新推出yETH vault。報告指出，這些 vault的大部分收入來自于0.3%的提款費，并表示新的收費結構將很快實施。報告顯示，Yearn Finance總計30.6萬美元的運營支出中，行政薪酬和安全支出占比分別約為56%和27%。除了對生態系統貢獻者的一些資助外，還從費用中支付了一些審計和漏洞賞金。（Cointelegraph）[2020/12/10 14:46:33]

其中具體負責處理交易的就是EVM，即TheEthereumVirtualMachine。EVM作為一個堆棧機運行，程序員用高級語言例如Solidity來編寫代碼，隨后代碼被編譯成EVM可以理解的EVM字節碼，作為各種EVM指令執行標準的堆棧操作，最終產生一個新的狀態。

調查：三分之一的英國金融技術公司因股權管理問題而損失資金:根據techUK和區塊鏈技術公司Qadre的最新研究，三分之一的英國金融科技（FinTech）公司由于股權管理問題失去了重要的資金。該報告基于對59名英國金融科技公司創始人的采訪，發現67%的人認為股權管理是一種干擾，花在管理資本化表格上的時間最好花在更重要的任務上。另有59%的人表示不得不推遲項目，32%的人由于股權管理效率低下而損失資金。61%的人稱，在股權管理上花費的時間削弱了他們交付產品或擴大業務規模的能力。最終結果是，股權管理挑戰可能會導致英國金融技術行業高達26億英鎊的資金損失。（FSTech）[2020/5/14]

現在的問題來了，我們知道ZKRollup方案需要對二層上的交易生成零知識證明，再傳回一層進行驗證，而要生成零知識證明，需要交易的處理過程符合zk電路證明的規范。而在EVM設計之初，顯然沒考慮過要支持零知識證明，這就是zkEVM的意義：一種運行在ZKRollup網絡上，兼容EVM同時又對零知識證明友好的虛擬機。

兩種實現策略

對于zkEVM，目前主要有兩種實現策略：

直接支持EVM現有的指令集，完全兼容solidity指令集。使用這種方案的包括Hermez和以太坊基金會zkEVM。重新設計一種虛擬機，該虛擬機對零知識證明友好，同時對EVM開發工具進行適配，來保持對solidity的兼容，使用這種方案的主要是zkSync；對于第一種策略，由于完全支持了EVM現有的指令集，其使用的是和EVM一樣的編譯器，因此天然就對現有的生態系統和開發工具完全兼容，同時還更好的繼承了以太坊的安全模型。

而對于第二種策略，由于不受原有EVM指令集的約束，可以更靈活的將代碼編譯成對零知識證明更友好的指令集，同時也擺脫了兼容所有EVM原有指令集所需要的艱巨而繁重的工作。

總的來說，第一種策略兼容性更好，安全性更高，但是工作量更大；第二種策略更靈活，工作量更小，但需要花費額外精力在適配上。

主要方案對比

HermezzkEVM

Hermez采用的是第一種策略，其將所有EVM指令集全部翻譯為中間指令。

眾所周知，EVM有一些變長的指令，比如CALL，EXP，CREATE等，這些指令天生對zk電路證明不友好，利用中間指令可以更友好地表達這些指令的邏輯。中間指令在uVM中執行，uVM中使用了大量的密碼學工具，來實現zk完備，并且使用了Plookup算法來提升證明及驗證效率。

HermezzkEVM在實現上的另外一個亮點，是其同時使用了兩套證明系統，具體來說即生成一個STARK證明，然后再用PLONK或Groth16對這個STARK證明生成一個證明并在一層進行驗證，這一過程就像是對證明的證明。之所以這么做，是因為STARK雖然很優秀，但是證明規模卻很大，在鏈上進行驗證時開銷也很大，而Groth16或PLONK卻擁有更小的證明規模和更快的驗證速度。這種兩相結合，各取所長的做法，很容易讓人想到非對稱加密算法和對稱加密算法結合使用的場景。

AppliedZKPzkEVM

AppliedZKPzkEVM和Hermez一樣，采用的是第一種策略。

AppliedZKP采用數據總線的思路，將存儲和計算分開。在BusMapping抽取了正確的存儲數據的基礎上，由Stateproof證明數據的一致性，EVMproof證明計算邏輯的正確性。

具體的過程如下：

EVM通過BusMapping讀取需要的相關狀態，狀態由Storage，Memory，Stack三部分組成；EVM執行opcode；EVM再通過BusMapping寫回新的狀態；過程中Stateproof負責BusMapping讀寫信息的一致性和正確性，EVMproof負責EVM對opcode執行的正確性。zkSyncEVM

與Hermez和AppliedZKP不同，zkSync選取了第二種策略。zkSync的zkEVM并非EVM的復刻品，而是為了能夠運行99%的Solidity合約并確保其能夠在各種情況下正常工作而全新設計。與此同時，zkEVM可以用來高效的在電路中生成零知識證明。

zkSyncEVM使用TinyRAM來實現普通指令集，而對Gas消耗巨大的指令如SHA256/keccak則特殊實現其電路，最后使用遞歸聚合技術，將所有的證明聚合成一個，以提升效率。

soruce:https://medium.com/matter-labs/zksync-2-0-hello-ethereum-ca48588de179

zkSync同時開發了兩套針對zkEVM的編譯器前端：Yul和Zinc。Yul是可以針對不同后端編譯成字節碼的中間Solidity表示；Zinc則是基于Rust為智能合約和通用零知識證明電路開發的語言。這給予了開發者更大的選擇空間。

同時，在構建自己的編譯器時，zkSync選擇了LLVM，這一生產工業級產品最先進的編譯器框架，以確保編譯器足夠完備和擁有所有經典優化。

寫到最后

zkEVM技術在多個優秀團隊的持續努力下，已經日漸成熟，相信在半年左右的時間內就會相繼落地，屆時兼容EVM的ZKRollup擴容方案一定會綻現出自己的光彩。

如今的區塊鏈技術正進入了前所未有的大爭鳴時代。從公鏈之爭，到以太坊擴容方案之爭，甚至具體到一個擴容方案下，都有著不同的項目方正在前赴后繼，你追我趕。筆者十分慶幸，能身處這個區塊鏈技術最生機勃勃的大時代。

參考資料：1.以太坊工作原理2.zkSync2.0:HelloEthereum!3.Episode175:zkEVM&zkPorterwithMatterLabs4.Episode194:zkEVMwithJordi&DavidfromHermez5.ExploringPopularzkEVMSolutions:AppliedZKP\,MatterLabs\,Hermez\,andSin7Y6.技術解讀以太坊二層擴容方案Hermez的zkEVM設計思路7.技術解讀AppliedZKP的zkEVM方案設計思路

Tags：HER以太坊MEZKSYHerobattle以太坊幣是哪個國家的幣MEZ價格zksync幣與zks幣

以太坊