以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 比特幣 > Info

三分鐘讀懂 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的成功。

2023年Q1美國加密貨幣相關商標申請同比減少三分之二:金色財經報道,盡管就美國加密貨幣行業相關的商標申請而言,2022年是非常成功的一年,但2023年的開局要慢得多,因為這一數字比去年同期低了約三分之二。

根據Michael E. Kondoudis律師事務所的商標和專利律師Michael Kondoudis 4月5日分享的數據,2023年第一季度美國與加密貨幣相關的商標申請達559件,比2022年第一季度的1649件下降了66.1%。

在進一步分析美國專利商標局(USPTO)的數據后,如圖表所示,2023年1月有196個新的加密商標申請,2月只有160個,而3月這些商標申請比前兩個月略有改善,有203個申請。

值得注意的是,2022年是破紀錄的一年,美國與加密貨幣相關的商標申請總數為5383件,而2021年為3570件,2020年僅為1137件,盡管形勢動蕩,但由于機構和個人興趣的增加,加密貨幣行業繼續增長。(Finbold)[2023/4/6 13:48:31]

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

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

一、zkEVM的作用

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

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

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

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

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

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

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

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

Blossom Capital完成4.32億美元融資,三分之一資金將投資于加密公司:1月18日消息,風投機構Blossom Capital在其最新一輪融資中籌集了4.32億美元(3.16 億英鎊),三年內融資近10億美元。Bosses表示,隨著加密貨幣公司進入主流領域,他們計劃將第三輪融資中籌集的資金的三分之一投資于加密貨幣公司。(LBC)[2022/1/18 8:55:39]

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

二、兩種實現策略

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

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

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

動態 |約三分之一英國企業上月受到惡意挖礦軟件攻擊:據coindesk消息,根據一項新的研究顯示,幾乎三分之一的英國企業表示他們在上個月內受到了加密貨幣挖掘惡意軟件的攻擊。[2018/8/15]

對于第一種策略,由于完全支持了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以太坊SYNC加密貨幣-新浪財經Ethereum pro以太坊價格zksync幣imtoken

比特幣
Arbitrum 鏈上「土礦」占道,鎖倉量飆升背后有何風險?_ARB

來源:蜂巢Tech 原文標題:《「荒漠高速路」Arbitrum鏈上「土礦」占道》 作者:茉莉 Arbitrum主網對外開放2周,鏈上TVL就達到了15億美元.

1900/1/1 0:00:00
Cloudflare開放以太坊網關和IPFS網關內測,可提供Web3應用開發所需的分布式基礎設施_CLO

鏈捕手消息,云加速服務商Cloudflare宣布開放以太坊網關和IPFS網關的內測,它們可將HTTPAPI調用轉換為IPFS或以太坊的功能,并在HTTP端添加Cloudflare增值服務.

1900/1/1 0:00:00
BSC成立導師委員會幫助孵化項目,未來將通過空投等方式支持入圍項目_BSC

鏈捕手消息,幣安智能鏈(BSC)宣布成立一個由風險投資公司、資產管理公司和區塊鏈組織的代表組成的指導委員會,為基于BSC的合格項目提供技術開發、資金和用戶增長方面的指導和支持.

1900/1/1 0:00:00
Coinbase 固定利率借貸業務遭 SEC 威脅起訴,將延遲到至少10月上線_COI

作者:谷昱 Coinbase今日發布博客表示,SEC向該公司發出了一份關于CoinbaseLend計劃的Wells通知,該通知是監管機構告知公司其打算在法庭上起訴該公司的官方方式.

1900/1/1 0:00:00
DeFi借貸協議Goldfinch推出基于NFT的去中心化身份解決方案_DEFI

鏈捕手消息,以太坊借貸協議Goldfinch宣布推出基于NFT形式的去中心化身份解決方案,任何在該平臺通過KYC以及身份唯一性驗證的用戶都可創建UID,由于該UID是標準的ERC-1155合約.

1900/1/1 0:00:00
游戲巨頭Epic Games:游戲商店對支持加密貨幣或基于區塊鏈資產的游戲開放_GAM

鏈捕手消息,《堡壘之夜》開發商EpicGames表示,其游戲商店對支持加密貨幣或基于區塊鏈資產的游戲開放,但此類游戲需遵守金融法律、明確區塊鏈的使用方式并具有適當的年齡分級.

1900/1/1 0:00:00
ads