以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > MANA > Info

LYG:zkEVM 與 zkVM:一字之差 天壤之別

Author:

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

作者:?RISCZero高級工程師ErikKaneda??譯者:Maxlion

前言

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

背景

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

Clearpool將DeFi借貸市場擴展到Polygon zkEVM:金色財經報道,去中心化借貸市場Clearpool已經擴展到Polygon zkEVM。此次擴展旨在為用戶提供高速交易、增加資金多樣化和更高的資本效率。Clearpool還與去中心化收益自動化協議Idle合作,在zkEVM池之上構建DeFi基元,以提供不同的風險回報配置文件。[2023/7/31 16:09:09]

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

快速了解EVM:

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

IDEX宣布構建基于Polygon zkEVM的Layer-2命名為“Xchain”:金色財經報道,IDEX宣布計劃構建一條基于Polygon zkEVM的Layer-2,名為Xchain。目前處于測試網階段,該區塊鏈正在基于PolygonSupernets軟件堆棧的zkEVM進行開發,旨在提供一個去中心化的永續交易平臺。[2023/7/7 22:22:25]

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

Polygon推出Polygon zkEVM跨鏈橋Polygon Bridge:金色財經報道,Polygon推出Polygon zkEVM跨鏈橋Polygon Bridge,該跨鏈橋由零知識技術驅動,由以太坊和Polygon zkEVM上的智能合約管理,支持ERC-20代幣和ERC-777代幣,用戶可在30-60分鐘內在以太坊主網上完成資金提取。[2023/4/27 14:30:18]

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

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

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

Polygon:月底zkEVM主網Beta啟動時Polygon錢包套件將獲得支持:3月14日消息,Polygon宣布當Polygon zkEVM的主網Beta在本月晚些時候啟動時,Polygon錢包套件也將在 Polygon zkEVM上可用。Polygon錢包套件將提供與Polygon zkEVM上的Polygon PoS幾乎相同的用戶體驗,包括橋接、?Fast Finality、資產管理、無需映射等。此外,Matic.js SDK和Gas Station也將在Polygon zkEVM主網Beta推出后不久得到支持。

此前報道,Polygon將于3月27日發布zkEVM主網Beta版本。[2023/3/15 13:04:19]

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

Offchain Labs CEO:zkEVM距離正常運行還很遙遠:7月24日消息,Polygon 本周宣布開源 zkEVM 代碼,但多位開發人員認為目前距離正常運行 zkEVM 還很遙遠。以太坊擴容解決方案 Arbitrum 開發商 Offchain Labs 首席執行官 Steven Goldfeder 表示,我們還沒有達到任何團隊擁有有效的 zkEVM 證明者(prover)的地步,因此我認為 zkEVM 距離正常運行還很遙遠。此外,現階段 zkEVM 還存在一定中心化問題,因為大多數 zkEVM 構建者還沒有讓他們的證明者開源,包括 Scroll 和 zkSync 都還沒有正式發布 zkEVM 代碼。

此前報道,7 月 20 日,Polygon 已開源 Polygon zkEVM 的代碼,并表示即將上線公共測試網,后續會發布更多文檔來詳細說明細節。據悉,Polygon zkEVM 可為開發人員和用戶提供“EVM 等效”解決方案,同時增加了吞吐量并從根本上降低了費用。(Blockworks)[2022/7/24 2:34:30]

那么,當你把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:LYGGONPOLOLYpolygon幣官網polygon幣價polkadot總量polygon幣未來100美元

MANA
WEB3:Web3創作者需要掌握的10種信息挖掘策略

進入Web3研究 當你可能想要的所有信息都沒有限制且未經許可時,研究看起來會有所不同。從《華爾街日報》到JStor再到皮尤研究中心,你是否需要訂閱才能獲得信息,就像你作為一名Web2創作者所需要.

1900/1/1 0:00:00
BAYC:12個例子告訴你如何利用“無聊猿”IP賺錢

本文來自nftnow,原文作者:LangstonThomasOdaily星球日報譯者|Moni 在短短一年多時間里.

1900/1/1 0:00:00
EST:詳解Chirp:一款掌握“財富密碼”的Web3社交軟件

近年來,大量的?SocialFi?Web3社交應用如雨后春筍般出現,但是截至到目前為止,依然沒有一款有大量用戶的現象級Web3社交應用.

1900/1/1 0:00:00
數字貨幣:比特幣在12月將修正到什么深度?

比特幣的價格似乎正在失去立足點,因為價格在過去8小時內就下跌了5%。考慮到這種情況,接下來可能會有更多的下跌。但跌幅有多大?也許,平均下跌30%也是可以預期的,特別是在牛市運行期間.

1900/1/1 0:00:00
數字人:中國人民銀行發布《中國數字人民幣的研發進展》白皮書,已基本完成頂層設計、功能研發、系統調試等工作

來源:中國人民銀行 隨著網絡技術和數字經濟蓬勃發展,社會公眾對零售支付便捷性、安全性、普惠性、隱私性等方面的需求日益提高.

1900/1/1 0:00:00
ALA:Avalanche(雪崩協議)研究報告

目錄 一、項目簡介 二、項目愿景 三、特色和優勢 四、發展歷史 五、團隊背景 六、融資信息 七、發展成果 八、經濟模型 九、行業分析 十、風險與機會 一、項目簡介 Avalanche由AvaLa.

1900/1/1 0:00:00
ads