以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

三分鐘讀懂 zkEVM:以太坊擴容方案的明珠_SYNC:HERO幣

Author:

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

撰文:DeGate,鏈聞ChianNews

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的成功。

IMF總裁:預計2023年世界經濟的三分之一將陷入衰退:金色財經報道,國際貨幣基金組織 (IMF) 總裁Kristalina Georgieva在周日播出的CBS采訪中分享了 IMF對美國、歐盟、中國和世界經濟的預測。她詳述:這就是我們在 2023 年看到的情況。對于世界大部分經濟體來說,這將是艱難的一年,比我們留下的那一年還要艱難。為什么?因為美國、歐盟、中國這三大經濟體都在同步放緩。我們預計世界經濟的三分之一將陷入衰退,即使是沒有陷入衰退的國家,數億人也會感到衰退。[2023/1/3 22:21:51]

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

一、zkEVM的作用

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

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

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

Bitfinex比特幣持有量在一個月內減少三分之一:3月17日,Bitfinex交易所持有200140枚比特幣,到4月13日,這個數字已經減少了33%,只有134091枚比特幣。雖然Bitfinex經歷了BTC的大規模外流,但同期的以太坊(ETH)持有量增加了100,000多枚。(Cointelegraph)[2020/4/15]

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

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

現在的問題來了,我們知道ZKRollup方案需要對二層上的交易生成零知識證明,再傳回一層進行驗證,而要生成零知識證明,需要交易的處理過程符合zk電路證明的規范。

動態 | 約三分之二的歐洲投資者相信加密貨幣在10年后依然會存在:據London Loves Business消息,由bitFlyer委托進行的一項新調查揭示了歐洲投資者對加密貨幣的信心狀況。研究顯示,約三分之二的歐洲人相信,加密貨幣在10年后依然會存在,但多數人仍不確定它們將如何使用。[2019/4/24]

而在EVM設計之初,顯然沒考慮過要支持零知識證明,這就是zkEVM的意義:一種運行在ZKRollup網絡上,兼容EVM同時又對零知識證明友好的虛擬機。

二、兩種實現策略

對于zkEVM,目前主要有兩種實現策略:

1、直接支持EVM現有的指令集,完全兼容solidity指令集。使用這種方案的包括Hermez和以太坊基金會zkEVM。

2、重新設計一種虛擬機,該虛擬機對零知識證明友好,同時對EVM開發工具進行適配,來保持對solidity的兼容,使用這種方案的主要是zkSync;

對于第一種策略,由于完全支持了EVM現有的指令集,其使用的是和EVM一樣的編譯器,因此天然就對現有的生態系統和開發工具完全兼容,同時還更好的繼承了以太坊的安全模型。

動態 | 德國三分之一大企業認為區塊鏈技術與互聯網一樣具有革命性:據Coin Crypto Rama消息,德國聯邦信息技術、電信和新媒體協會(Bitkom)發布的一份最新調查報告顯示,德國36%的大企業認為區塊鏈技術與互聯網技術一樣具有革命性。報告指出,除人工智能(AI)和物聯網(IoT)外,區塊鏈技術是當前三大發展領域之一,具有“巨大潛力” 。[2018/12/6]

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

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

三、主要方案對比

HermezzkEVM

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

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

聲音 | 《財富》雜志:世界五百強中國入榜企業超三分之一涉足區塊鏈:近日,美國《財富》雜志發布新一期世界500強排行榜。中國上榜的120家企業中有46家不同領域企業都涉足區塊鏈,區塊鏈作為技術革命,正深刻的影響著各行各業。期待世界級企業的入場,將使這一技術能快速應用并發展。[2018/7/23]

HermezzkEVM在實現上的另外一個亮點,是其同時使用了兩套證明系統,具體來說即生成一個STARK證明,然后再用PLONK或Groth16對這個STARK證明生成一個證明并在一層進行驗證,這一過程就像是對證明的證明。

之所以這么做,是因為STARK雖然很優秀,但是證明規模卻很大,在鏈上進行驗證時開銷也很大,而Groth16或PLONK卻擁有更小的證明規模和更快的驗證速度。這種兩相結合,各取所長的做法,很容易讓人想到非對稱加密算法和對稱加密算法結合使用的場景。

AppliedZKPzkEVM

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

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

具體的過程如下:

1、EVM通過BusMapping讀取需要的相關狀態,狀態由Storage,Memory,Stack三部分組成;

2、EVM執行opcode;

3、EVM再通過BusMapping寫回新的狀態;

4、過程中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&zkPorterwithMatterLabs

4.Episode194:zkEVMwithJordi&DavidfromHermez

5.ExploringPopularzkEVMSolutions:AppliedZKP\,MatterLabs\,Hermez\,andSin7Y

6.技術解讀以太坊二層擴容方案Hermez的zkEVM設計思路

7.技術解讀AppliedZKP的zkEVM方案設計思路

Tags:HER以太坊SYNCSYNHERO幣以太坊價格今日行情走勢分析zkSyncSYN價格

幣安app官網下載
Arbitrum正式上線主網測試版,數十個團隊已完成部署_ARB:TRU

作者:谷昱 今日,以太坊擴展解決方案提供商OffchainLabs在官方博客宣布正式上線ArbitrumOne主網測試版,已刪除白名單機制并向用戶開放所有項目,同時公布了資產橋接教程.

1900/1/1 0:00:00
以太坊網絡出現一筆Gas費高達7676個ETH的交易,價值2370萬美元_以太坊:VERS

鏈捕手消息,以太坊網絡于北京時間19點10分發生一筆Gas費高達7676個ETH的交易,Gwei價格為53,243,610.

1900/1/1 0:00:00
DAPP游戲服務平臺Stardust完成500萬美元融資,Framework Ventures領投_DAPP:gate.io安卓下載app官網

鏈捕手消息,DAPP游戲服務平臺Stardust完成500萬美元融資,FrameworkVentures領投.

1900/1/1 0:00:00
深入分析 Uniswap V3 流動性供應的數學原理_UNI:Uniswap

撰文:MellowProtocol編譯:Blake大家好,客套話就不說了,讓我們談談UniswapV3的數學邏輯吧!我們將深入探討UniswapV3中流動性供應的工作原理.

1900/1/1 0:00:00
藝術家高小華“NFT+實體原作”在 umx.art 平臺成交價超200萬_MET:BEAGLE

鏈捕手消息,截止9月10日14:00,著名藝術家高小華的NFT作品于umx.art限時48小時的發售完畢,高小華此次在umx.art共上線10幅畫作,本次發售期間瀏覽次數達24萬次.

1900/1/1 0:00:00
解讀DeFi2.0:重塑流動性提供者和協議的關系_TOKE:AIDUS Token

原文標題:《簡單理解DeFi2.0》DeFi2.0之流動性關系重構 流動性挖礦的過度開采 DeFi的節奏很快.

1900/1/1 0:00:00
ads