撰文: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的成功。
清華大學沈陽:未來元宇宙可能會占到總經濟規模的三分之一:金色財經報道,在華夏日報主辦的“華夏機構投資者年會暨第十五屆金蟬獎頒獎”盛典上,清華大學新聞學院教授、博士生導師沈陽表示,未來,元宇宙經濟的規模可能會占到總經濟規模的三分之一。元宇宙的發展過程中面臨一定的挑戰,但應從其可操作性著手,可以嘗試用面向企業端服務的思路去做。
“在如今的互聯網世界,我們的數字勞動與對應的數字收益是不匹配的。”沈陽表示。“就像即使我們每天在微信發朋友圈,騰訊也不會把朋友圈的廣告費分給我們,這就是一種不匹配。”沈陽解釋道,“目前的互聯網世界也出現了壟斷的格局,這也是下一代互聯網,包括元宇宙等這些概念統籌之下,未來經濟體系需要去改變的。”(華夏日報)[2022/1/24 9:08:22]
可見,zkEVM已經成為以太坊擴容方案皇冠上的明珠。筆者希望通過本文,可以讓讀者了解zkEVM的基本原理與發展現狀。
一、zkEVM的作用
要弄清楚zkEVM的作用,我們還需要一些前置知識。
LBank Filecoin折扣嘉年華第二輪5000枚Fil6三分鐘售罄:據悉,LBank于7月13日正式開啟“Filecoin折扣嘉年華”,今日上線的Fil6在售賣開啟3分鐘后悉數售罄。
LBank“Filecoin折扣嘉年華”每輪有5000枚Fil6進行折扣售賣,首日以9折價售出,未售出的額度則以每日遞減10%的折扣在次日續售,直至免費。本活動認購采用的售賣模式為“先到先得”,用戶需要通過實名認證,并持有相應的LBK才可以參與本次認購。更多詳情請關注LBank官網公告。[2020/7/21]
我們先從以太坊講起,從本質上來講,以太坊是一個基于交易的狀態機。
從以太坊的創世紀狀態開始,通過一個區塊又一個區塊的交易,轉變成最終狀態,也即以太坊當前的狀態,狀態中包含了所有的賬戶地址和其映射的賬戶狀態。
source:https://ethfans.org/posts/how-does-ethereum-work-anyway
其中具體負責處理交易的就是EVM,即TheEthereumVirtualMachine。EVM作為一個堆棧機運行,程序員用高級語言例如Solidity來編寫代碼,隨后代碼被編譯成EVM可以理解的EVM字節碼,作為各種EVM指令執行標準的堆棧操作,最終產生一個新的狀態。
聲音 | 微軟Azure Blockchain首席項目經理:世界500強中有三分之二都在進行鏈改:今日在北京舉行的2019以太坊技術及應用大會上,微軟Azure Blockchain首席項目經理許建志在講解“以太坊在企業的應用案例與開發”中表示,世界500強中有三分之二都在進行鏈改,微軟目前合作的項目超過100余個,包括新加坡航空,日本鐵路等。他認為受到擴容和tps影響,與公有鏈相比私有鏈和聯盟鏈的發展速度更快,微軟不打算開發自己的獨立的區塊鏈。[2019/6/29]
現在的問題來了,我們知道ZKRollup方案需要對二層上的交易生成零知識證明,再傳回一層進行驗證,而要生成零知識證明,需要交易的處理過程符合zk電路證明的規范。
而在EVM設計之初,顯然沒考慮過要支持零知識證明,這就是zkEVM的意義:一種運行在ZKRollup網絡上,兼容EVM同時又對零知識證明友好的虛擬機。
二、兩種實現策略
對于zkEVM,目前主要有兩種實現策略:
動態 | 最后三分鐘 連出兩個區塊:金色財經直播,BCH硬分叉大戰,距離BCH硬分叉僅剩3分鐘,連出兩個區塊,當前區塊高度556760。[2018/11/16]
1、直接支持EVM現有的指令集,完全兼容solidity指令集。使用這種方案的包括Hermez和以太坊基金會zkEVM。
2、重新設計一種虛擬機,該虛擬機對零知識證明友好,同時對EVM開發工具進行適配,來保持對solidity的兼容,使用這種方案的主要是zkSync;
對于第一種策略,由于完全支持了EVM現有的指令集,其使用的是和EVM一樣的編譯器,因此天然就對現有的生態系統和開發工具完全兼容,同時還更好的繼承了以太坊的安全模型。
而對于第二種策略,由于不受原有EVM指令集的約束,可以更靈活的將代碼編譯成對零知識證明更友好的指令集,同時也擺脫了兼容所有EVM原有指令集所需要的艱巨而繁重的工作。
總的來說,第一種策略兼容性更好,安全性更高,但是工作量更大;第二種策略更靈活,工作量更小,但需要花費額外精力在適配上。
英國交易所調查 三分之一的千禧一代將在2018年購買加密貨幣:倫敦交易所最近進行了一項涉及2000名英國人的研究。這項研究表明,45歲以下的人中有5%的人已經投資了一個加密貨幣,另有11%的人計劃在明年投資加密貨幣。另有17%的公司正在認真考慮在2018年底投資數字貨幣。英國“ 獨立報”稱,該研究發現三分之一的千禧一代將在2018年投資于電子貨幣市場。[2017/12/20]
三、主要方案對比
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方案設計思路
作者:周日 Facebook對元宇宙的看好,超出想象。10月29日,Facebook聯合創始人、首席執行官馬克·扎克伯格在周三舉行的FacebookConnect開發者大會中正式宣布,公司名稱將.
1900/1/1 0:00:00鏈捕手消息,元宇宙NFT塔防游戲SpaceY2025獲得HuobiVentures的戰略投資,估值暫未披露.
1900/1/1 0:00:00作者:白澤研究院 2016年10月5日,比特幣測試網上的第一筆閃電交易由區塊鏈技術公司BlockStream的工程師團隊完成。戴克爾博士在接受采訪時表示:“這對閃電網絡來說是一個重要的里程碑.
1900/1/1 0:00:00作者:Kyle,巴比特 本文將研究去中心化自治組織(DAO)爆炸性增長背后的原因,同時強調與長期構建DAO生態系統相關的挑戰和機遇.
1900/1/1 0:00:00鏈捕手消息,據慢霧MistTrack反洗錢分析系統追蹤發現,俄羅斯龐氏騙局項目Finiko的以太坊錢包累計處理了近7億美元的USDT/USDC充提操作.
1900/1/1 0:00:009月16日,社區驅動的游戲實驗性NFT-CyberHunter于中午12點獨家首發在Element平臺,共計6666個盲盒,盲盒價格為0.066ETH.
1900/1/1 0:00:00