作者:Manta Network 聯合創始人Kenny Li 翻譯:金色財經0xnaitive
零知識以太坊虛擬機 (zkEVM) 是一種以太坊狀態機,可以與零知識證明 (ZKP) 技術兼容的方式執行智能合約。
zkEVM 擴展了以太坊上零知識rollup (zk-rollups) 的功能,以支持去中心化應用程序 (DApp)。
zkEVM 可以輕松部署現有的以太坊項目和使用ZKP的新項目,以增強以太坊生態系統。
以太坊開發人員在 2014 年首次提出以太坊網絡時并沒有考慮ZKP 技術。然而,近年來,ZKP 受到了關注,并有望在區塊鏈領域發揮更加突出的作用。因此,將 ZKP 技術與以太坊的虛擬機相結合的努力已經加強。
要了解什么是 zkEVM,讓我們首先簡要回顧一下它的兩個基本概念:zk-rollups 和 EVM。
Rollup 是一種擴展解決方案,它在主鏈之外編譯大量交易執行,并將數據作為單個交易發送回主網絡。這個過程增加了吞吐量,同時降低了執行這些交易的成本。
Gemini聯合創始人:年輕人不知道沒有互聯網或比特幣的世界是什么樣子:Gemini聯合創始人Cameron Winklevoss今早發推稱,今天成長起來的一代人,不知道一個沒有互聯網或比特幣的世界是什么樣子。加密一代或“C世代”不會接受他們正在繼承的集中化世界,而是會致力于建立一個全新的、去中心化的世界。[2020/7/18]
在以太坊上,一個Rollup中的交易被壓縮并提交給以太坊主網,支付驗證單筆交易的費用。以太坊主網提供結算并驗證匯總中包含的交易數據。
zk-rollup是一種使用 ZKP 技術的rollup,ZKP 技術是一種加密技術,可以在不泄露信息本身的情況下驗證一條信息的有效性。zk-rollups 不需要將所有交易數據發布到以太坊主網;他們只需要狀態差異(例如用戶帳戶狀態的更改)和有效性證明,從而降低過程中Gas費。
zk-rollups的安全性來自于ZKP密碼學,通過密碼學的手段來驗證證明,實現去信任化。這與optimistic rollups等其他 rollup 不同,后者的安全性來自經濟學博弈論,在該理論中,不良行為者會因潛在損失而失去動力,而挑戰者會受到激勵。
動態 | 新西蘭2018年第一熱搜為“比特幣是什么?”:據新西蘭《信報》消息,2018年新西蘭人熱搜的六大主題出爐,分別為:新的開始,參與賽事,本土英雄,暴風雨天氣,豐富多彩和稀奇古怪的問題,生酮飲食法。豐富多彩和稀奇古怪的問題中,第一熱搜的問題是“比特幣是什么?”,然后是對如何查找IP地址和截屏的查詢。[2018/12/19]
EVM 是運行以太坊賬戶系統和智能合約的狀態機。每次智能合約執行都會觸發 EVM 從舊狀態轉換到新狀態。EVM 定義了計算從一個區塊到另一個區塊的新狀態和有效狀態的規則。
狀態是以太坊中的一個重要概念。它是一個 Merkle Patricia Trie 數據結構,代表以太坊的當前狀態,并允許任何人從當前區塊一直追蹤交易信息回到創世區塊。
所有參與維護以太坊的節點都存在以確保連續性和共識,這使得每個節點都可以看到確切的當前狀態。EVM 在保持這種一致性方面發揮著關鍵作用。
EVM 默認不支持 ZKP。zkEVM 旨在確保以太坊狀態的連續性,同時提供所有信息正確的證據。這樣,在維護安全性和隱私性的同時,驗證了這些過程計算中涉及的各種因素。
動態 | “什么是比特幣”今年在谷歌搜索量名列前茅:據CCN報道,根據谷歌發布的2018年搜索術語年度評論,“什么是比特幣”在谷歌的搜索量名列前茅,至少在美國是這樣。在去年,人們對于比特幣的搜索包括一般新聞搜索和“如何購買比特幣”。[2018/12/13]
zkEVM 通過將以太坊環境復制為 zk-rollups 來做到這一點。它獲取初始狀態,計算所有交易,然后輸出一個新的更新狀態以及隨附的 ZKP。該證明被提交給驗證者智能合約,該合約檢查初始狀態和新狀態輸出的正確性,而無需單獨驗證所有交易。
由于 zkEVM 基于 EVM,開發人員能夠輕松地將以太坊 DApp 和智能合約移植到 zkEVM,而無需進行 ZKP 開發工作。換句話說,zkEVM 允許 zk-rollups 執行智能合約,此外還有以前在沒有 zkEVM 的情況下支持的代幣交換和支付。
由于 EVM 的兼容性特性,開發人員可以使用現有的 EVM 工具和編程語言 Solidity 構建新產品,同時享受 zkEVM 帶來的增強安全性。同樣的好處也適用于用戶——他們可以繼續使用相同的 DApps 和熟悉的工具,但具有更高的安全性和隱私性。
英國人大多數不知道區塊鏈加密貨幣是什么:調查顯示,很多英國公民可能對基本的密碼相關條款有一個完全錯誤的想法。這表明,盡管加密貨幣越來越受歡迎,一些英國人可能仍然完全不知道他們的存在。許多英國人把加密貨幣與其他東西混為一談,例如,有36%的受訪者認為“加密貨幣”與殯葬金融有關。受訪者也被問到“區塊鏈是什么?”而令人吃驚的是,41%的人說它必須是那種老式的帶有拉鏈的廁所水箱。[2018/4/2]
當區塊鏈被稱為 EVM 兼容時,這意味著它提供了一個可以部署以 Solidity 編程語言編寫的 DApp 的環境。Solidity 專為開發在以太坊網絡上運行的智能合約而設計。
事實上,以太坊開發人員可以從以太坊復制和粘貼現有 DApp 的代碼,并以最少的修改將其部署到其他 EVM 兼容鏈上。對于用戶來說,任何兼容 EVM 的鏈地址都與他們的以太坊地址相同。
這意味著地址與 Metamask 和 Trust Wallet 等主流錢包兼容。目前,主要的EVM兼容鏈包括BNB Chain、Avalanche C-Chain和Polygon。
蔡文勝:我為什么看好區塊鏈?:今日凌晨,知名投資人隆領資本蔡文勝在“三點鐘無眠區塊鏈”社群內分享觀點,整理如下:1.區塊鏈是一場大變革,目前只有小部分人先知先覺。 2.區塊鏈是人類有史以來最大的泡沫,但泡沫剛剛開始,同時也能助推技術革命。 3.現在進場比特幣仍是先行者,最后觀望者進場才是韭菜。 4.區塊鏈代表未來,投資區塊鏈就是投資價值。 5.目前政策是鼓勵區塊鏈技術發展的。 6.區塊鏈技術的發展一日千里,一天不學習就會落后。 7.未來會繼續分叉,但最終只會留存幾個主鏈,形成基礎貨幣;但應用數字貨幣不會比基礎貨幣價值低。 8.區塊鏈不是互聯網的升級版本,不單是技術的創新,更是商業邏輯的改革。 9.區塊鏈可參考互聯網的發展路線,從基礎設施、工具軟件,到最后和傳統行業結合。[2018/2/19]
不要將 EVM 兼容性與 EVM 等效性混淆,EVM 等效性意味著從 DApp 開發人員的角度來看,2 層rollup與以太坊第 1 層幾乎相同。
如果用操作系統來類比,EVM 等效性類似于通過 Apple Cloud 恢復文件和設置,如果用戶之前的計算機和新計算機都運行在 Apple 的操作系統上。
相比之下,EVM 兼容性意味著如果一臺新電腦切換到 Windows 系統,則需要通過云存儲下載原始文件并轉換以恢復首選設置和舊文件。
直接使用 EVM 生成和驗證 ZKP 非常慢,因為以太坊最初設計并不支持 ZKP 技術。在某些情況下,這可能需要長達幾個小時。然而,必須在 EVM 兼容性和 ZKP 效率之間取得平衡。
以太坊創始人 Vitalik Buterin 將 zkEVM 分為以下四種類型。類似于區塊鏈不可能三角,它們各自在 ZKP 性能效率和 EVM 兼容性之間有不同的權衡。
類型一:共識級等價——zkEVM完全等價于以太坊
在共識層面,Type 1 zkEVM——也稱為 enshrined rollup——相當于以太坊,zkEVM 鏈狀態和交易與以太坊相同。它們可以相互驗證塊并直接與以太坊執行客戶端一起使用。
Type 1 zkEVM 使以太坊本身更具可擴展性,可以直接引入以太坊主網上。缺點是ZKP效率極差,需要大量的計算來驗證。解決方案是在未來為zk-SNARKs使用大規模并行驗證者或專用集成電路。
具有高 ZK 效率的類型 1 zkEVM 將是最理想的 zkEVM 形式。目前,有許多項目正在構建或探索這種類型的 zkEVM。
類型 2:字節碼級等價——完全等價于 EVM
Type 2 完全等價于 EVM 而不是以太坊。它在數據結構(如區塊結構和狀態樹)方面不同于以太坊,并刪除了一些對 ZK 不友好的堆棧操作。
它與以太坊現有的 DApp、調試工具和開發者基礎設施完全兼容。字節碼級等價可以加快證明時間,盡管不是很明顯。Type 2 一個明顯的缺點是它很昂貴,與 ZK 沒有協同作用,效率低且昂貴。
類型2.5:與 Type 2 類似,但修改了 gas 費用
Type 2.5 具有 Type 2 的優點和缺點,但 gas 費用略低。
類型 3:字節碼級等價——幾乎等同于 EVM
Type 3在Type 2的基礎上進一步犧牲了兼容性來提高ZK效率。它刪除了一些在 zkEVM 上難以實現的功能,例如預編譯,因此一些需要使用此功能的 DApp 代碼必須重寫。
類型4:開發語言級等價——高級語言等價于EVM
類型 4 EVM 具有最高的 ZK 性能,但兼容性相對較差。
zkEVM 實現的主要目的是將 ZKP 計算的支持擴展到智能合約執行,并在此過程中將DApps擴展到所有 EVM 兼容協議。但 ZKP 的應用并不止于此。
ZKP 技術可能與Web2用例兼容。將各種 Web2 用例與 ZKP 相結合可以使 Web3 應用程序更加流暢和用戶友好。它還會授予已經習慣使用傳統互聯網瀏覽器的用戶訪問Web3 的權限,進而推動 Web3 的采用。
金色財經 善歐巴
Chainlink預言機
白話區塊鏈
金色早8點
Odaily星球日報
Arcane Labs
深潮TechFlow
歐科云鏈
BTCStudy
MarsBit
4 月 11 日,香港 Web3.0 協會今日正式成立,典禮議程包括理事會會長及主禮嘉賓致辭、協會主要成員委任儀式、高峰論壇等議程.
1900/1/1 0:00:00今年二月,馬斯克曾公開炮轟OpenAI“違背初心”,并強調“我們需要的是TruthGPT”。時隔兩月,馬斯克口中的“TruthGPT”,終于即將誕生.
1900/1/1 0:00:00GMX 團隊近期發布了 V2 有關提案,預示著備受期待的 GMX 合成資產版本終于到了上線前夕,本文將為你帶來全方位的 GMX V2 解讀,一窺此衍生品賽道龍頭的未來.
1900/1/1 0:00:00原文:Bankless 期待已久的上海和Capella升級今天正式上線。這是以太坊網絡的重要時刻——一個懷疑者認為永遠不會到來的時刻!昨天,我們解析了到底發生了什么,今天我們展示Capella實.
1900/1/1 0:00:00撰文:Ignas 編譯:Peng SUN,Foresight News我們需要為「賬戶抽象」這一革命性敘事發明一個聲入心通的口號.
1900/1/1 0:00:00原文來源:CoinDesk 等, 鏈接請見文末“參考資料”原文編譯:Cecilia, bfrenz DAO加密貨幣仍處于初期發展階段,NFT 更是一種全新的資產類別.
1900/1/1 0:00:00