本文將對比 zkEVM 和 zkVM 在技術上的差異,并介紹 RISC Zero zkVM 及其即將推出的 Bonsai 網絡。關于 RISC Zero,它是一個通用 zkVM,RISC Zero zkVM 是一臺可驗證的計算機,其工作方式類似于真正的嵌入式 RISC-V 微處理器,使程序員能夠像編寫任何其他代碼一樣編寫 ZK 證明。支持 Rust 和 C++ 編寫 ZK 證明,并支持任何編譯為 RISC-V 的語言。
隨著當前智能合約的復雜性增加,dapp 越來越先進,區塊空間越來越稀缺,運行鏈上代碼的成本也在增加。換句話說,如果你的 DeFi 邏輯變得計算昂貴,或者你的鏈上游戲邏輯需要額外的計算能力,你應該考慮使用 zkVM 或 zkEVM,將復雜的應用邏輯移到鏈外。
在這篇博文中,我想解釋在這種情況下,一個字母所能帶來的不同。我將從 EVM 的概述開始,然后是 zkEVM,再接著是 zkVM。zkEVM 允許你在鏈外傳輸 Solidity 應用程序,而 RISC Zero 的 zkVM 和即將推出的 Bonsai 網絡允許你使用 Rust 編寫可擴展的、與鏈無關的代碼。
zkSync生態項目SyncDex Finance疑似Rug,項目官方社區已關閉:4月13日消息,zkSync 生態項目 SyncDex Finance 疑似 Rug,目前其官方社交平臺和 Discord 頻道均已關閉。
據相關頁面信息,用戶在該項目總計質押超 100 枚 ETH 和 98,444.8 USDC。據社區反饋,該質押池目前已鎖定,用戶已無法提取資金。[2023/4/13 14:01:21]
快速了解 EVM:
EVM 是 Ethereum Virtual Machine(以太坊虛擬機)的縮寫,你可以把它看作是執行 Ethereum 上所有交易的軟件。
每個節點通過運行這個軟件(如 geth 等實現)來參與以太坊網絡。在以太坊中,交易是由代碼表示的,其格式稱為 EVM 字節碼,代表 EVM 的指令。大體上,這些指令面向數學計算,來獲取區塊鏈信息,以及交換金錢。世界上有許多虛擬機,每一個都有自己的專長。以太坊的虛擬機很關鍵,因為它更適合應用于去中心化的金融(DeFi)。
V神:ZK-EVM是以太坊Layer 1安全和驗證過程的重要組成部分:金色財經報道,以太坊聯合創始人“V神”Vitalik Buterin在其官方博客上發布文章《以太坊的多客戶端理念將如何與ZK-EVM交互?》(How will Ethereum's multi-client philosophy interact with ZK-EVMs?),其中指出ZK-EVM將在未來發展成為以太坊Layer 1安全和驗證過程的重要組成部分,但關鍵在于如何為零知識證明以太坊區塊的正確性創建一個“多客戶端”生態系統。V神建議采取開放的多個ZK-EVM,因為不同的客戶端有不同的ZK-EVM實現,每個客戶端可以在接受一個區塊為有效之前等待與自己兼容的證明。此外,Vitalik Buterin還對人工智能最近的快速發展大加贊揚,他覺得人工智能的進步可以“加速”證明ZK-EVM實現的發展。“從長遠來看,當然任何事情都有可能發生。也許AI會加強形式驗證,使其可以輕松證明ZK-EVM實現等效并識別導致彼此之間差異的所有錯誤。”[2023/4/2 13:40:23]
最近最酷的趨勢之一是把 「zk 」放在單詞的前面,這兩個字母代表零知識證明。維基百科上有很多例子(我最喜歡的是 「兩個球和色盲的朋友 」問題)。如果你對它們不熟悉,我建議此時花幾分鐘時間讀一讀零知識證明的例子。
Uniswap V3擬上線Polygon zkEVM,現處于提案階段:3月4日消息,Uniswap社區成員Jack Melnick發起提案,擬使Uniswap V3在PolygonzkEVM發布,建議授權Uniswap Labs代表社區將Uniswap的協議部署到稱為zkEVM的Polygon零知識以太坊虛擬機。
Uniswap在EVM兼容的ZKrollup上可用具有重要價值。Polygon zkEVM是一種新的zk-rollup,它提供以太坊虛擬機(EVM)等效性(操作碼級兼容性),以實現透明的用戶體驗以及現有的以太坊生態系統和工具兼容性。[2023/3/4 12:42:20]
長話短說,零知識證明能夠實現可驗證的計算。你可以把它看作是一種確保哪些計算被完成,以及計算結果是正確的方法。計算機就計算結果達成一致的一種方式是讓每臺機器運行相同的代碼并比較結果。根據不同的計算,這對資源有限的系統來說可能很昂貴。通過使用像 RISC Zero 這樣的零知識證明框架,機器可以通過檢查證明的數學有效性來確保計算的正確執行,而不是重復運行相同的代碼(如 EVM)。
Argent以太坊zkSync網絡Layer2錢包候補名單注冊用戶突破50萬:3月7日消息,總部位于倫敦的初創公司Argent已經推出了一款新的加密錢包,旨在降低與DeFi系統交互的成本和環境影響。Argent表示,已有超過500,000人注冊了候補名單,以使用基于zkSync的第2層帳戶,這是一種專注于以太坊的擴展解決方案。此前去年12月份消息,智能合約錢包Argent宣布其Layer2版本正式上線zkSync。(The Block)[2022/3/7 13:42:28]
在 RISC Zero,我們把這些證明稱為 「收據」(receipts),在博客的其余部分,我將使用這個術語。每張收據都包括一個加密標識符,表明進行了哪項計算,以及計算的任何公共輸出的日志。雖然這可能看起來是一個簡單的概念,但它意味著機器可以生成收據來「證明」計算已經完成。
術語 zkEVM 是用來描述在 EVM 字節碼引擎上運行智能合約的軟件,并為特定的計算(或交易)生成收據。這個軟件通常可以證明兩個或多個收據是有效的,并生成另一個收據。通過使用這種機制,zkEVM 可以運行許多交易,并使用一個收據來表示它,這被稱為 「Rollup」。用 Solidity 編寫的項目可以使用 zkEVMs 來擴展交易,而不是在鏈上進行所有計算,在區塊鏈上發布一個單一的收據來代表許多發生在鏈外的交易。zkEVM 有很多類型,如果你想了解它們,你可以在這篇文章中閱讀更多。
Matter Labs正在為其zkSync2.0集成Chainlink喂價:11月12日消息,以太坊擴容方案 zkSync 開發團隊 Matter Labs 宣布正在為其 zkSync 2.0 集成 Chainlink 喂價,首先會支持 BTC 和 ETH 等常見加密資產。Matter Labs 表示,zkSync 2.0 將能夠處理更多數量級的 Chainlink 喂價更新,也將允許在 zkSync 上構建更強大的預言機機制和更多種類的去中心化應用。
此前報道,Matter Labs 于 10 月中旬將 Uniswap V2 智能合約和前端遷移至 zkSync 2.0 測試網,該端口名為 UniSync,為在 zkSync 2.0 上第一個遷移的 Solidity DApp。[2021/11/12 6:48:00]
在 RISC Zero,我們實現了一個零知識虛擬機(zkVM),而不是一個 zkEVM。兩者之間的區別在于,「VM」,即 「虛擬機」,比 EVM 更通用。
在 zkVM 上,你可以運行幾乎所有在計算機上運行的軟件,而不是任何可以在以太坊上運行的軟件。這種計算機使用 RISC-V 架構,這是一套用于通用計算的指令。這意味著 RISC-V 并沒有內置錢包地址或其他區塊鏈結構的概念。該指令集主要由在內存位置之間移動數據和對數據進行數學運算的運算符組成。雖然這個指令集可能看起來過于籠統,但并不要求程序員知道如何用匯編語言編程,以便為這個 zkVM 編寫程序。
與 EVM 相比,這個底層的 RISC-V 模擬器允許程序員用 Rust、C/C++ 和 Go 等語言為 zkVM 編寫程序(注意,我們目前支持 Rust,我們對 C/C++ 和 Go 的支持目前正在進行中)。這意味著 zkVM 的程序員可以使用別人在該語言的生態系統中開發的相關庫。一個例子是,我們可以運行玩 Wordle 或 Where’s Waldo 等游戲的程序。然而,我們并不局限于簡單的游戲:你可以運行許多其他編譯為 RISC-V 的程序。
如果你想了解更多幫助你寫出更好的 DeFi 應用的框架,你可能會想知道為什么我們正在研究 RISC Zero 這樣一個通用的計算框架。
通過允許用戶使用通用語言編寫程序,我們打開了在 Solidity 庫之外編寫代碼的可能性。這意味著應用邏輯不需要局限于可以用 Solidity 表達的內容,并允許你寫出與鏈無關的代碼。像 Rust 這樣的通用語言允許開發者比那些為特定目的而設計的語言更容易編寫不同類型的程序。例如,你可以用 Rust 編寫一個簡單的算術計算器,它接受一個數學表達式作為輸入,運行數學計算,并將解決方案作為輸出返回。如果你增加這個計算器的復雜性,以支持常見的編程語言結構,如變量、循環和函數,你就實現了一個簡單的語言解釋器,將程序作為輸入,運行程序,并將解決方案作為輸出返回。這些程序可以被編譯成 RISC-V 并在 RISC Zero 的 zkVM 上運行。有了 Rust,你可以使用現有的 crates 來為你的應用程序編程,而不是從頭開始編寫一切。
一個這樣的庫是 Rust 上的 revm crate。這個 crate 是用 Rust 編寫的 EVM 的一個實現。通過使用這個 crate,我們可以在 zkVM 上運行一個 EVM 字節碼解釋器。這意味著你可以在運行在 zkVM 上的 EVM 字節碼解釋器上運行 solidity 合約! 通過這樣做,zkVM 會產生一個收據,代表運行智能合約的 EVM 的執行。這在 Odra 的這篇博文中已經進行了探討,并被 zkPoEx 團隊用來提高 bug 賞金。
隨著當前智能合約的復雜性增加,許多人發現他們維護的鏈上代碼只會隨著他們的開發而增加成本。換句話說,如果你的 DeFi 邏輯逐漸變得計算昂貴,或者你的鏈上游戲邏輯需要額外的計算能力,RISC Zero 的 zkVM 和即將推出的 Bonsai 網絡允許你使用通用編程語言編寫可擴展的鏈上代碼。我在這篇博文中列舉了幾個例子,我們正處于真正可擴展的計算網絡的最開始。
StarkNet
企業專欄
閱讀更多
金色薦讀
金色財經 善歐巴
迪新財訊
Chainlink預言機
區塊律動BlockBeats
白話區塊鏈
金色早8點
Odaily星球日報
MarsBit
Arcane Labs
作者:Rune Christensen, MakerDAO聯合創始人 編譯:Felix, PANewsEndgame是MakerDAO的重大更新,旨在提升效率、彈性和參與度.
1900/1/1 0:00:00概述 上期我們了解了利用 tx.origin 進行釣魚的攻擊手法,本期我們來帶大家了解一下如何識別在合約中隱藏的惡意代碼.
1900/1/1 0:00:00隨著元宇宙的崛起,一個名為“Lucky Bird”的全新元宇宙項目正在吸引著全球范圍內的目光。作為金色音樂節的特邀嘉賓和總冠名,我們有幸提前了解到Lucky Bird的宏大愿景及其在區塊鏈領域的.
1900/1/1 0:00:00礦工收益可持續性問題顯現,比特幣社區面臨潛在的算力危機,比特幣智能網絡生態發展可有效提高網絡使用率,解決礦工收入可持續性問題。但網絡擁堵問題嚴重阻礙比特幣網絡生態發展,L2 方案重要性凸顯.
1900/1/1 0:00:00在硅谷銀行倒閉之初,美國聯邦存款保險公司(FDIC)等監管機構信誓旦旦地承諾“保護所有儲戶的存款”,“美國銀行系統非常強大”。 但FDIC食言了。 華爾街日報近日報道稱.
1900/1/1 0:00:00來源:美國法院文件節選;編譯:金色財經xiaozou原告Taewoo Kim代表其他處境相似的所有人,對被告Jump Trading.
1900/1/1 0:00:00