比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 屎幣 > Info

HER:三分鐘讀懂 zkEVM:以太坊擴容方案的明珠_MEZ

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

報告:前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的作用,我們還需要一些前置知識。

萬事達卡調查:三分之二的千禧一代對使用加密貨幣越來越開放:萬事達卡最新支付指數調查發現,加密貨幣的地位有所提高,千禧一代已經 \"準備好 \"跳入這個行業,三分之二的千禧一代比去年更愿意使用加密貨幣。根據調查,77%的千禧一代有興趣了解更多關于加密貨幣的信息,而75%的千禧一代同意,如果他們更了解加密貨幣,他們會使用加密貨幣。(Decrypt)[2021/5/6 21:28:53]

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

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

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

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

調查:三分之一美國散戶投資者認為自己被ICO蒙騙:12月1日消息,研究機構Xangle的調查發現,在抽樣的600位美國散戶投資者中,有三分之一的人認為自己被ICO“蒙騙”,或者項目向他們隱瞞了信息。大多數受訪者認為,ICO運營商應對宣傳的欺詐性項目承擔刑事責任。 但結果也顯示近56%的人表示,他們將來會再次投資ICO項目,但會更徹底地調查發行的產品。(cointelegraph)[2020/12/1 22:43:53]

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

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

二、兩種實現策略

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

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

聲音 | 中國計算機學會白碩:區塊鏈在支付匯兌領域可用“三分法”區分是否合法:金色財經報道,近日,中國計算機學會(CCF)上海分部主席白碩在演講中指出,區塊鏈的核心應用是支付匯兌,支付就是一手交錢,一手交貨,而匯兌就是支付兩端用不同的錢。白碩認為,區塊鏈在支付匯兌領域可以用“三分法”區分是否合法,數字貨幣可以分為三類:虛擬貨幣、商圈幣以及法定數字貨幣。虛擬貨幣是私人的,試圖不受監管,作為支付手段和匯兌手段在中國是被禁止的,作為資產記價手段,則有部分是正規的;商圈幣可以看成是綁定法幣,就像飯票,但是在創造貨幣的過程當中是不透明的;法定數字貨幣是由央行主導,具有法定效力,能在線上流通的貨幣。從財產屬性上來看,虛擬貨幣被法律上認定是一種財產,財產偷了就犯法。但虛擬貨幣沒有支付能力,商圈幣在商圈特定的范圍里是有支付能力,但不能出既定范圍。法定數字貨幣一切都可以。[2019/12/21]

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

聲音 | ATKearney:比特幣將重新獲得加密市場份額的三分之二:據Finews消息,美國全球管理咨詢公司ATKearney在其19年預測報告中表示,在2019年,加密貨幣市場將進行整合,比特幣將重新獲得加密市場份額的三分之二。該公司認為,包括英國和美國在內的多個市場的監管機構將在努力提高市場透明度的同時,緩和對該行業的立場。[2018/12/24]

對于第一種策略,由于完全支持了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證明計算邏輯的正確性。

具體的過程如下:

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以太坊KSYMEZPAMPTHER以太坊最新價格行情平臺zksync幣空投比例MEZ幣

屎幣
TER:Terra正式激活IBC標準,可跨鏈連接Cosmos等支持IBC的區塊鏈網絡_SatoShi Monsters

鏈捕手消息,基于CosmosSDK開發的區塊鏈Terra已經通過「啟用IBC傳輸」的治理提案投票,正式激活IBC標準.

1900/1/1 0:00:00
KAL:SKALE上基于NFT的AMM交易平臺Ruby.Exchange完成280萬美元融資,NGC、Flow Ventures參投_LAS

鏈捕手消息,以太坊側鏈SKALE上基于NFT的AMM交易平臺Ruby.Exchange完成280萬美元融資.

1900/1/1 0:00:00
NFT:中國會如何定義和監管NFT?這里有六種NFT形態可供參考_區塊鏈

原文標題:《NFT的六個形態定位及相關監管政策探討》 作者:01區塊鏈 今年被稱為NFT的“元年”,藝術家、名人、巨頭公司紛紛入局NFT,屢創新高的NFT價格更是讓其成為大眾關注焦點.

1900/1/1 0:00:00
加密貨幣:從加密貨幣專家到美 SEC 主席:Gary Gensler 上任后做了哪些事情?_GENI價格

原文標題:《加密貨幣專家Gensler上任美國SEC主席后,做了哪些事情?》撰文:ChenglinPua2021年是加密貨幣破圈的年份.

1900/1/1 0:00:00
區塊鏈:技術革命的生與死,以及對加密世界的借鑒意義_有人靠區塊鏈4天就掙了30萬

撰文:BenThompson,知名科技博主、科技博客Stratechery創始人翻譯:LeoYoung委內瑞拉裔的英國經濟理論學家卡洛塔·佩雷斯撰寫的《技術革命與金融資本》一書特別重要的就是其出.

1900/1/1 0:00:00
NFT:美國搖滾樂隊Kings of Leon與SpaceX合作將NFT送入太空_區塊鏈

鏈捕手消息,美國搖滾樂隊KingsofLeon透露,他們將與SpaceX合作,在下周執行Inspiration4任務中,成為第一支將NFT)送入太空的樂隊.

1900/1/1 0:00:00
ads