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

zkEVM VS zkVM:一字之差,天壤之別_ERO

Author:

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

前言

本文將對比zkEVM和zkVM在技術上的差異,并介紹RISCZerozkVM及其即將推出的Bonsai網絡。關于RISCZero,它是一個通用zkVM,RISCZerozkVM是一臺可驗證的計算機,其工作方式類似于真正的嵌入式RISC-V微處理器,使程序員能夠像編寫任何其他代碼一樣編寫ZK證明。支持Rust和C++編寫ZK證明,并支持任何編譯為RISC-V的語言。

背景

隨著當前智能合約的復雜性增加,dapp越來越先進,區塊空間越來越稀缺,運行鏈上代碼的成本也在增加。換句話說,如果你的DeFi邏輯變得計算昂貴,或者你的鏈上游戲邏輯需要額外的計算能力,你應該考慮使用zkVM或zkEVM,將復雜的應用邏輯移到鏈外。

橄欖油生產商在Obligate的DeFi平臺上發行首個以歐元穩定幣計價的債券:金色財經報道,Polygon 上 DeFi 鏈上債券平臺 Obligate 宣布,橄欖油生產商Lamar Olive Oil 首次使用 Obligate 為可持續農業行業發行了鏈上債券。該公司債券是第一次以 Membrane Finance 的 EUROe 計價發行,該公司稱這是唯一受歐盟監管的加密貨幣穩定幣,并表示,承銷和構建流程,包括信用評估和持續風險監控,由 Obligate 的信用評級合作伙伴 Credora 進行。

Obligate建立在Polygon鏈上,通過提供安全透明的方式來幫助中小企業發行、跟蹤和結算債務,并且隨著發行債券門檻的降低,發展中國家和新興市場的公司可以獲得更多收益獲得資金。智能合約取代了傳統債券發行結算層中發行人和支付代理人的角色。[2023/6/1 11:52:40]

在這篇博文中,我想解釋在這種情況下,一個字母所能帶來的不同。我將從EVM的概述開始,然后是zkEVM,再接著是zkVM。zkEVM允許你在鏈外傳輸Solidity應用程序,而RISCZero的zkVM和即將推出的Bonsai網絡允許你使用?Rust?編寫可擴展的、與鏈無關的代碼。

某巨鯨持有者于今日轉移177,69枚BTC,價值約合4.99億美元:4月5日消息,據 mempool.space 數據顯示,某 BTC 巨鯨持有者在比特幣區塊高度 784,060 處(北京時間 22:46)轉移大量 BTC,將 177,69 枚 BTC 從 177 個零散地址整理至單一地址,價值約合 4.99 億美元。[2023/4/5 13:46:37]

快速了解EVM:

EVM是EthereumVirtualMachine的縮寫,你可以把它看作是執行Ethereum上所有交易的軟件。

每個節點通過運行這個軟件來參與以太坊網絡。在以太坊中,交易是由代碼表示的,其格式稱為EVM字節碼,代表EVM的指令。大體上,這些指令面向數學計算,來獲取區塊鏈信息,以及交換金錢。世界上有許多虛擬機,每一個都有自己的專長。以太坊的虛擬機很關鍵,因為它更適合應用于去中心化的金融。

CME Group的比特幣期權交易量和持倉量創下歷史新高:金色財經報道,衍生品交易巨頭 CME Group 的比特幣期權交易量和持倉量創下歷史新高,因為交易員在 FTX 崩盤后蜂擁而至。根據 The Block Research 的數據,周二 CME 的比特幣期權交易量達到 11 億美元,未平倉合約超過 7.36 億美元。

The Block Research 的研究主管 Steven Zheng 表示,在 FTX 破產之后,機構交易公司的謹慎態度可能是 CME 交易激增的原因之一。

芝商所于 2021 年 5 月推出比特幣期貨,提供比特幣和以太幣期權和期貨的加密交易。

Zheng表示,鑒于 FTX 的崩潰,機構加密貨幣交易員對在不受監管和半監管的平臺上進行交易更加謹慎,并補充說“CME 似乎是這種謹慎的受益者。”[2023/2/1 11:39:53]

什么是"zk",為什么每個人都把它放在其他詞的前面?

Multichain CEO回應質疑:Fantom DAI由以太坊等7個鏈的DAI 1:1支持:9月22日消息,以太坊鏈上研究員bartek.eth發推稱,Multichain使用EOA作為Bridge托管,在Fantom上通過7400萬的DAI進行抵押鑄造超過1億美元的跨鏈DAI。鏈上交易數據顯示,在2021年7月的一系列交易中,驗證者從托管中移除DAI,而沒有進行相應的銷毀,而被挪用的DAI再次被用于“向其他鏈提供流動性”。對此,bartek認為,一旦遺留的增發跨鏈DAI進行有效的贖回,普通用戶的托管資產將受損。

Multichain聯合創始人兼CEO Zhaojun表示,Multichain有兩個路由路徑支持從Fantom跨鏈至超過8條鏈,不是只支持跨鏈至以太坊。Fantom DAI由以太坊和其他6個鏈上的底層DAI 1:1支持。

bartek質疑為何截圖顯示Fantom上3013.8萬DAI由anyDAI合約持有,Zhaojun回復稱,因為用戶通過Router Pool將Fantom DAI橋接到其他鏈。路由器流動性池在不同的鏈上動態變化。[2022/9/22 7:13:35]

最近最酷的趨勢之一是把"zk"放在單詞的前面,這兩個字母代表零知識證明。維基百科上有很多例子。如果你對它們不熟悉,我建議此時花幾分鐘時間讀一讀零知識證明的例子。

歐易NFT市場正在籌劃發行官方NFT:據9月14日晚7點的 Twitter Space中OKX NFT市場發言人介紹,OKX NFT市場正在籌劃發行官方NFT,旨在更好賦能交易用戶,在分發機制上將向早期交易用戶傾斜。該發言人表示,歐易NFT市場同時聚合了Opensea和Magice Eden流動性,推薦NFT用戶在歐易NFT市場進行交易。

據了解,OKX NFT市場是集創作、收藏、交易功能于一身的0手續費的多鏈聚合平臺。用戶也可以直接在OKX NFT市場一鍵掛單至多平臺。支持ETH、SOL、BSC、OKC、Polygon、AVAX-C、IMX、Arbitrum8條熱門公鏈。[2022/9/14 13:29:48]

長話短說,零知識證明能夠實現可驗證的計算。你可以把它看作是一種確保哪些計算被完成,以及計算結果是正確的方法。計算機就計算結果達成一致的一種方式是讓每臺機器運行相同的代碼并比較結果。根據不同的計算,這對資源有限的系統來說可能很昂貴。通過使用像RISCZero這樣的零知識證明框架,機器可以通過檢查證明的數學有效性來確保計算的正確執行,而不是重復運行相同的代碼。

在RISCZero,我們把這些證明稱為"收據",在博客的其余部分,我將使用這個術語。每張收據都包括一個加密標識符,表明進行了哪項計算,以及計算的任何公共輸出的日志。雖然這可能看起來是一個簡單的概念,但它意味著機器可以生成收據來"證明"計算已經完成。

那么,當你把zk放在EVM前面時會發生什么?

術語zkEVM是用來描述在EVM字節碼引擎上運行智能合約的軟件,并為特定的計算生成收據。這個軟件通常可以證明兩個或多個收據是有效的,并生成另一個收據。通過使用這種機制,zkEVM可以運行許多交易,并使用一個收據來表示它,這被稱為"Rollup"。用Solidity編寫的項目可以使用zkEVMs來擴展交易,而不是在鏈上進行所有計算,在區塊鏈上發布一個單一的收據來代表許多發生在鏈外的交易。zkEVM有很多類型,如果你想了解它們,你可以在這篇文章中閱讀更多。

zkVM:通過放棄E來解鎖可驗證的計算

在RISCZero,我們實現了一個零知識虛擬機,而不是一個zkEVM。兩者之間的區別在于,"VM",即"虛擬機",比EVM更通用。

在zkVM上,你可以運行幾乎所有在計算機上運行的軟件,而不是任何可以在以太坊上運行的軟件。這種計算機使用RISC-V架構,這是一套用于通用計算的指令。這意味著RISC-V并沒有內置錢包地址或其他區塊鏈結構的概念。該指令集主要由在內存位置之間移動數據和對數據進行數學運算的運算符組成。雖然這個指令集可能看起來過于籠統,但并不要求程序員知道如何用匯編語言編程,以便為這個zkVM編寫程序。

與EVM相比,這個底層的RISC-V模擬器允許程序員用Rust、C/C++和Go等語言為zkVM編寫程序。這意味著zkVM的程序員可以使用別人在該語言的生態系統中開發的相關庫。一個例子是,我們可以運行玩?Wordle?或?Where'sWaldo?等游戲的程序。然而,我們并不局限于簡單的游戲:你可以運行許多其他編譯為RISC-V的程序。

運行RISC-V程序有什么用?

如果你想了解更多幫助你寫出更好的DeFi應用的框架,你可能會想知道為什么我們正在研究RISCZero這樣一個通用的計算框架。

**通過允許用戶使用通用語言編寫程序,我們打開了在Solidity庫之外編寫代碼的可能性。**這意味著應用邏輯不需要局限于可以用Solidity表達的內容,并允許你寫出與鏈無關的代碼。像Rust這樣的通用語言允許開發者比那些為特定目的而設計的語言更容易編寫不同類型的程序。例如,你可以用Rust編寫一個簡單的算術計算器,它接受一個數學表達式作為輸入,運行數學計算,并將解決方案作為輸出返回。如果你增加這個計算器的復雜性,以支持常見的編程語言結構,如變量、循環和函數,你就實現了一個簡單的語言解釋器,將程序作為輸入,運行程序,并將解決方案作為輸出返回。這些程序可以被編譯成RISC-V并在RISCZero的zkVM上運行。有了Rust,你可以使用現有的crates來為你的應用程序編程,而不是從頭開始編寫一切。

一個這樣的庫是Rust上的revmcrate。這個crate是用Rust編寫的EVM的一個實現。通過使用這個crate,我們可以在zkVM上運行一個EVM字節碼解釋器。這意味著你可以在運行在zkVM上的EVM字節碼解釋器上運行solidity合約!通過這樣做,zkVM會產生一個收據,代表運行智能合約的EVM的執行。這在Odra的這篇博文中已經進行了探討,并被?zkPoEx?團隊用來提高bug賞金。

如何擴展區塊鏈

隨著當前智能合約的復雜性增加,許多人發現他們維護的鏈上代碼只會隨著他們的開發而增加成本。換句話說,如果你的DeFi邏輯逐漸變得計算昂貴,或者你的鏈上游戲邏輯需要額外的計算能力,RISCZero的zkVM和即將推出的Bonsai網絡允許你使用通用編程語言編寫可擴展的鏈上代碼。我在這篇博文中列舉了幾個例子,我們正處于真正可擴展的計算網絡的最開始。如果你想看看這是怎么回事,今天就開始吧,加入我們的社區,注冊Bonsai,幫助建立一個去中心化和可擴展的全民互聯網。

Tags:ISCDAIZEROEROaisc幣最新價FLOKIBASEDAIZeropay FinanceFLIBERO幣

UNI
韓國MangoBerry宣布加入Wanchain星系共識節點計劃, 雙方將聯合開發韓國市場_WAN

2019年7月29日,韓國區塊鏈公司MangoBerry與Wanchain正式達成節點計劃戰略合作,基于WanchainPoS星系共識機制.

1900/1/1 0:00:00
巴比特 | 元宇宙每日薦讀:在微軟、谷歌、亞馬遜等大廠激戰AI之時,蘋果卻“啞火”了,為什么?_BTC

摘要:據阿爾法工場研究院報道,在今年爆發的AI大戰中,微軟、谷歌、亞馬遜等各個大廠,都紛紛使出了自己的渾身解數,渴望在未來的賽道中搶占先機.

1900/1/1 0:00:00
OP Research:Blockchain的AI變局_BLOC

AI板塊相關標的,不論是A股、美股還是Crypto,都迎來了暴漲。之后的時間里,隨著ChatGPT被廣泛使用,人們意識到其對整個世界的影響,不斷有新的ChatGPT應用場景,以及同類型的產品迭代.

1900/1/1 0:00:00
長推:MeMe幣進入接盤俠博傻階段_ETH

?注:本文來自@0xNing0x推特,其是獨立分析師,原推文由MarsBit整理如下: 歸核心資產重拾避險敘事 經過20天的瘋狂.

1900/1/1 0:00:00
Paradigm:Blend——Blur推出的NFT抵押的永續借貸平臺_NFT

概述 本文介紹了Blend:一個點對點的永續借貸協議,支持任意抵押品包括NFT。其不依賴預言機,也沒有貸款結算日期,允許借款頭寸無限期保持開放,直到清算為止,利率由市場決定.

1900/1/1 0:00:00
千禧一代成數字資產主力, 幣盈聯盟造富車你上了么?_比特幣

?????? 近日,谷歌公布一份關于比特幣用戶的數據分析。根據谷歌數據顯示,大多數比特幣用戶稱自己為”投資狂“和”技術迷“.

1900/1/1 0:00:00
ads