買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 幣贏 > Info

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

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

報告:非洲5300萬加密貨幣用戶中有超過三分之一來自尼日利亞:金色財經報道,根據 Triple A 最新的加密貨幣所有權數據,非洲大陸現在估計有 5300 萬加密貨幣所有者。這約占全球估計總數 3.2 億人的 16.5%。在非洲的所有加密貨幣持有者中,尼日利亞占總數的三分之一以上,即略高于 2200 萬。

在全球范圍內,尼日利亞的加密貨幣持有者數量排名第四,而美國是排名第一的國家,擁有 4600 萬加密貨幣持有者。根據數據,印度和巴基斯坦位居第二,分別擁有 2740 萬和 2640 萬加密貨幣所有者。[2022/8/31 12:59:01]

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

一、zkEVM的作用

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

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

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

過去一小時推特討論量排名前三分別為BTC、ETH及DOGE:CoinTrendz數據顯示,過去一小時推特討論量排行中,BTC憑借237的討論量排名第一,ETH以188的討論量排名第二,DOGE以105的討論量排名第三。討論量排名第四至十位的分別為:LINK(95)、ACH(80)、XRP(40)、XTZ(36)、SHIB(33)、AMP(28)、ADA(28)。[2021/8/7 1:40:28]

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

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

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

動態 | 灰度研報:超三分之一的美國投資者會考慮投資比特幣:Grayscale Investments(灰度投資)今天發布了“比特幣:2019年投資者研究報告”,首次對散戶投資者的興趣、觀念和關于投資比特幣的誤解進行調查。該研究由金融市場研究公司Q8完成。報告顯示。超過三分之一(36%)的美國投資者會考慮投資比特幣,這代表了一個擁有超2100萬投資者的潛在市場。(Globe Newswire)[2019/7/25]

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

二、兩種實現策略

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

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

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

分析 | 超三分之一德國物流經理認為區塊鏈可顯著改善供應鏈合作:據cointelegraph報道,根據Hermes最新的調查顯示,超過三分之一的德國物流經理認為區塊鏈技術有可能顯著改善供應鏈中的合作。35%的受訪者能夠認識到區塊鏈的重要性,同時33%的受訪者認為大數據非常重要。在較大的公司中,特別是在員工人數超過250人的公司中,管理人員中有一半注意了到區塊鏈技術在行業中的潛力。[2018/11/14]

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

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

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

三、主要方案對比

瑞士研究人員:比特幣市值年內將縮水逾三分之一:兩位瑞士研究人員表示,按照“梅特卡夫定律”,隨著比特幣新增活躍用戶的增速放緩,這種加密貨幣的市值也將無法保持之前的增速。比特幣的市值年底無法超過770億美元。展望未來,比特幣的價格遭到大幅高估,但并非史無前例,研究表明比特幣將會經歷許多個月的震蕩。”此外,關于數字貨幣支持者堅持認為的,一旦監管態度明朗,比特幣就會回升,甚至再創新高;以及比特幣采用的底層區塊鏈技術將像互聯網一樣改變世界的觀點,學術人員表示,比特幣價格的數學分析顯示出一條可預測的路徑。人們不應該關注瞬間且不可預測的觸發因素本身,而應該關注這個泡沫市場越發不穩定的狀態,并為調整做好準備。”[2018/4/3]

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以太坊比特幣ZKStogetherbnb手游下載安裝以太坊最新價格行情分析美元比特幣sv是什么zksvm幣幣情

幣贏
TOM:如何領取AC新Loot類游戲Rarity的角色NFT?_Grantsville

來源:律動BlockBeats9月5日,YFI創始人AndreCronje宣布推出類Loot游戲Rarity,該游戲受Loot啟發,共包含11種角色,玩家創造出角色后.

1900/1/1 0:00:00
區塊鏈:Vee.Finance更新被盜進展:已上報美國FBI,平臺將承擔全部損失_Booleancoin

鏈捕手消息,針對此前被攻擊至少致3500萬美元被盜一事,Avalanche生態跨鏈借貸協議Vee.Finance更新進展稱,Vee.Finance已向美國當地警察局提交報告.

1900/1/1 0:00:00
以太坊:以太坊的幕后推手:ConsenSys及其創始人Joseph Lubin想做什么?_UBIN

原文標題:《HowJosephLubinbecameWallStreet’scryptowhisperer》作者:GillianTett,金融時報 編譯:麟奇.

1900/1/1 0:00:00
加密貨幣:在全球"旅行"的幣安希望在愛爾蘭設立 "集中式 "總部_BarnBridge

鏈捕手消息,9月期間,幣安在愛爾蘭設立了三家子公司,這家在全球"旅行"的交易所可能正在安頓下來。在全球監管機構的壓力下,加密貨幣的主要交易幣安正在尋求在愛爾蘭建立總部.

1900/1/1 0:00:00
加密貨幣:專訪 Vitalik Buterin:用加密貨幣和區塊鏈可以構建一個什么樣的世界_opendao幣最新價格

來源:鏈聞 受訪者:VitalikButerin,以太坊創始人撰文:楚章、張潔平、SujiYan維塔利克·布特林是以太坊的創始人,他19歲創立了以太坊,20多歲就擁有了億萬身家.

1900/1/1 0:00:00
加密貨幣:美比特幣 ETF 八年終上線,對加密貨幣市場有何影響?_The Midget’s Secret

原文標題:《比特幣ETF上線的影響》撰文:Blockunicorn 簡單回顧比特幣歷史。 比特幣概念早在2008年11月1日由中本聰提出,2009年1月3日正式誕生.

1900/1/1 0:00:00
ads