ISC:zkVM：比zkEVM更普適的通用擴容方案_區塊鏈ISC幣

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

背景

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

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

數據：zkSync橋接TVL突破150萬枚ETH，價值約合25億美元:金色財經報道，據Dune Analytics最新數據顯示，以太坊二層擴容解決方案zkSync的橋接總鎖倉量（TVL）已突破150萬枚ETH，本文撰寫時達到1,506,508 ETH，按照當前價格計算約合25億美元，此外目前zkSync橋接參與地址數已超過210萬個。[2023/9/4 13:16:46]

快速了解EVM：

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

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

Polygon zkEVM主網測試版已完成火龍果升級，預計于9月11日登錄主網:9月1日消息，Polygon于X平臺（原推特）發文表示，Polygon zkEVM主網測試版已完成首次火龍果升級（Dragon Fruit）。火龍果升級包括最新的EVM操作碼PUSH0，使Polygon zkEVM與Solidity v0.8.21兼容。火龍果升級需要升級Polygon.zkEVM.sol共識合約。從今日開始10天的時間鎖已被觸發。

該版本預計將于9月11日上線主網，開發者從今天開始可以在測試網上檢查與測試升級。[2023/9/1 13:11:56]

什么是「zk」，為什么每個人都把它放在其他詞的前面？

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

ZK Rollup擴容方案StarkNet Alpha上線以太坊主網:11月29日消息，StarkWare推出的以太坊Rollup擴容方案StarkNet Alpha今日上線以太坊主網。StarkNet是一個無需許可的以太坊L2網絡去中心化Rollup擴容方案。StarkNet允許任何dApp實現其計算規模，而不會影響可組合性和安全性，它依賴于安全和具可擴展性的加密證明系統——STARK。StarkNet建立在Cairo編程語言之上，Cairo和STARK均由 StarkWare內部開發，并為生產級應用程序提供支持。除其他功能外，StarkNet Alpha支持通用計算智能合約，支持與其他StarkNet合約以及通過 L1<>L2 消息與L1合約的可組合性。StarkNet Alpha在Rollup模式下運行，所有狀態差異數據都在鏈上發送。

StarkNet Alpha上線以太坊主網意味著開發者可以在StarkNet上部署他們的合約，用戶可以向這些合約發送交易，每個StarkNet區塊都在鏈上被證明和驗證，應用程序獲得無限擴展并保持L1安全性。這是一個Alpha版本，該網絡仍在開發中。團隊不斷添加功能、修復錯誤并對其進行改進。在接下來的幾周和幾個月內，團隊將在以下功能上升級Alpha：合約升級機制；收費機制；添加系統調用（get_block_number、get_block_timestamp 等）。[2021/11/30 12:39:57]

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

ZKSwap上線SHIB和AKITA:據ZKSwap消息，ZKSwap已于5月8日正式上線SHIB和AKITA，并開放SHIB/ZKS、SHIB/USDT、SHIB/ETH、AKITA/ZKS、AKITA/USDT、AKITA/ETH交易對。

此外，ZKSwap 第三期流動性挖礦已接近尾聲，目前平臺總資產超過6.7億美金，流動性接近3億美金，第四期流動性挖礦&交易挖礦活動計劃將于5月10日正式開啟。據悉，第四期流動性挖礦活動將進一步削減穩定幣對和單幣種的挖礦獎勵，并把更多激勵給到ZKS相關幣對，新上線的SHIB和AKITA也將參與到流動性挖礦&交易挖礦中。新一期活動ZKSwap還將進行一系列挖礦產品優化，比如參與流動性挖礦的用戶需要登陸并激活地址，同時ZKSwap也將對單地址設定獎勵閾值，以把更多獎勵分配給支持ZKSwap的活躍用戶。詳情見官網公告。[2021/5/8 21:38:24]

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

ZKSwap開啟XDEX/ZKS流動性雙挖活動:據ZKSwap官方消息，ZKSwap與去中心化交易所xDEX已達成戰略合作，并將于2021年3月31日18時在ZKSwap平臺開啟流動性雙挖活動。雙挖活動開啟后，xDEX將為ZKSwap平臺用戶額外提供20萬個XDEX代幣激勵流動性提供者，用戶只需在L2上添加XDEX/ZKS流動性，按照活動規則進行操作，即可在獲取ZKS挖礦獎勵的同時額外獲得XDEX代幣獎勵，XDEX代幣獎勵將在本次活動剩余的26天內線性分發。

據zkswap.info數據顯示，目前，ZKSwap上XDEX/ZKS流動性已超100萬美金。[2021/3/30 19:29:26]

那么，當你把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網絡允許你使用通用編程語言編寫可擴展的鏈上代碼。我在這篇博文中列舉了幾個例子，我們正處于真正可擴展的計算網絡的最開始。

寫在最后：感謝閱讀，宇航每天會分享最新資訊，喜歡這篇文章的朋友可以點贊+關注，免費進交流推薦裙，我們有千人社群，我們下期再見！

Tags：ISC以太坊區塊鏈ISC幣ISC價格以太坊幣是什么幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢

Luna