作者:Manta Network 聯合創始人Kenny Li 翻譯:金色財經0xnaitive
零知識以太坊虛擬機 (zkEVM) 是一種以太坊狀態機,可以與零知識證明 (ZKP) 技術兼容的方式執行智能合約。
zkEVM 擴展了以太坊上零知識rollup (zk-rollups) 的功能,以支持去中心化應用程序 (DApp)。
zkEVM 可以輕松部署現有的以太坊項目和使用ZKP的新項目,以增強以太坊生態系統。
以太坊開發人員在 2014 年首次提出以太坊網絡時并沒有考慮ZKP 技術。然而,近年來,ZKP 受到了關注,并有望在區塊鏈領域發揮更加突出的作用。因此,將 ZKP 技術與以太坊的虛擬機相結合的努力已經加強。
要了解什么是 zkEVM,讓我們首先簡要回顧一下它的兩個基本概念:zk-rollups 和 EVM。
Rollup 是一種擴展解決方案,它在主鏈之外編譯大量交易執行,并將數據作為單個交易發送回主網絡。這個過程增加了吞吐量,同時降低了執行這些交易的成本。
趙長鵬:Twitter價格可能略高,無論馬斯克做出什么決定都會支持:金色財經消息,幣安CEO趙長鵬在社交媒體回復網友時表示,Twitter的價格可能略高。但無論如何馬斯克的決定如何,他都會支持。[2022/7/24 2:34:08]
在以太坊上,一個Rollup中的交易被壓縮并提交給以太坊主網,支付驗證單筆交易的費用。以太坊主網提供結算并驗證匯總中包含的交易數據。
zk-rollup是一種使用 ZKP 技術的rollup,ZKP 技術是一種加密技術,可以在不泄露信息本身的情況下驗證一條信息的有效性。zk-rollups 不需要將所有交易數據發布到以太坊主網;他們只需要狀態差異(例如用戶帳戶狀態的更改)和有效性證明,從而降低過程中Gas費。
zk-rollups的安全性來自于ZKP密碼學,通過密碼學的手段來驗證證明,實現去信任化。這與optimistic rollups等其他 rollup 不同,后者的安全性來自經濟學博弈論,在該理論中,不良行為者會因潛在損失而失去動力,而挑戰者會受到激勵。
Meta員工不滿扎克伯格癡迷元宇宙:不知道要交付什么:金色財經報道,馬克·扎克伯格對元宇宙的癡迷已經引發 Meta (原 Facebook)公司員工不滿,他們認為“元宇宙已經成為扎克伯格唯一想談論的事情”,以至于讓許多為他工作的人感到沮喪。目前,Meta 公司已經組建特定于元宇宙的團隊”,員工認為這是一個“將覆蓋公司內所有團隊”的團隊,但不少人仍然非常困惑,一方面擔心會煽動混亂和焦慮,另一方面是員工似乎并不真正知道要交付什么或做什么,Meta 迄今并沒有連貫的元宇宙戰略。(businessinsider)[2022/4/24 14:45:10]
EVM 是運行以太坊賬戶系統和智能合約的狀態機。每次智能合約執行都會觸發 EVM 從舊狀態轉換到新狀態。EVM 定義了計算從一個區塊到另一個區塊的新狀態和有效狀態的規則。
狀態是以太坊中的一個重要概念。它是一個 Merkle Patricia Trie 數據結構,代表以太坊的當前狀態,并允許任何人從當前區塊一直追蹤交易信息回到創世區塊。
韓國“區塊鏈城市”中的大多數公司都不知道什么是區塊鏈:釜山研究所最近的一份報告顯示:在韓國釜山的區塊鏈沙盒城市中,有62%的公司顯然對這項技術一無所知。
自去年以來,釜山被韓國聯邦政府視為區塊鏈開發的“無監管”區域。該市在區塊鏈領域開展了許多項目,包括基于區塊鏈的虛擬電廠的計劃,甚至是其自己的市政加密貨幣的計劃。
來自各行各業的100家接受調查的公司中,有91%的人表示他們沒有計劃采用區塊鏈技術。在對26家與區塊鏈相關的公司的另一項調查中,有23%的人抱怨最近面臨的監管障礙。此外,有19%的區塊鏈企業還表示他們對發展感到孤獨,指責政府缺乏對區塊鏈采用的支持,而15.4%的企業則擔心缺乏技術和人力資源來開發該技術。[2020/9/19]
所有參與維護以太坊的節點都存在以確保連續性和共識,這使得每個節點都可以看到確切的當前狀態。EVM 在保持這種一致性方面發揮著關鍵作用。
EVM 默認不支持 ZKP。zkEVM 旨在確保以太坊狀態的連續性,同時提供所有信息正確的證據。這樣,在維護安全性和隱私性的同時,驗證了這些過程計算中涉及的各種因素。
聲音 | 比特幣安全專家:Facebook Coin與PayPal及數字法幣沒什么分別:據AMBcrypto報道。比特幣安全專家Andreas Antonopoulos近期在YouTube的問答環節上表示,他對于像Facebook這樣的大公司要發行加密貨幣一事并不感到擔憂,因為他一直都認為遲早會產生這樣的公司代幣,甚至全球的央行都會推出自己的加密貨幣,但這些加密貨幣都會具有法幣的特征,唯一的區別在于如何實現——從先前的微軟SQL數據庫轉向區塊鏈數據庫。 Antonopoulos接著指出,在現實中,如果不遵守銀行監管,Facebook Coin就不能用于跨境交易。如果沒有嚴格的KYC/ AML政策,Facebook將不會提供其加密貨幣,這與PayPal沒有任何不同,與銀行提供的數字法幣也沒有什么分別。然而,與Visa、摩根大通或PayPal相比,Facebook此類公司的額外好處是能為其加密貨幣提供更好的用戶體驗、服務、交易速度和品牌識別。[2019/3/31]
zkEVM 通過將以太坊環境復制為 zk-rollups 來做到這一點。它獲取初始狀態,計算所有交易,然后輸出一個新的更新狀態以及隨附的 ZKP。該證明被提交給驗證者智能合約,該合約檢查初始狀態和新狀態輸出的正確性,而無需單獨驗證所有交易。
李笑來:人為割裂區塊鏈和互聯網是利益之爭,不存在什么“古典互聯網”:李笑來在接受媒體采訪時表示:“不存在什么‘古典互聯網’,互聯網就是互聯網,區塊鏈也是互聯網的一部分。你怎么可能指著你的肚子之外的部分說,這是‘古典身體’,然后再接著問,‘這個肚子和古典身體之間有著不可調和的矛盾’?人為割裂區塊鏈和互聯網,本意不是理論體系的互斥,而是利益的爭奪。”對于中國互聯網的主要矛盾是什么,李笑來表示并不知道,只知道互聯網發展迅速造成了更大的貧富差距,引發了一定的社會矛盾,這是不能回避的事實。[2018/3/6]
由于 zkEVM 基于 EVM,開發人員能夠輕松地將以太坊 DApp 和智能合約移植到 zkEVM,而無需進行 ZKP 開發工作。換句話說,zkEVM 允許 zk-rollups 執行智能合約,此外還有以前在沒有 zkEVM 的情況下支持的代幣交換和支付。
由于 EVM 的兼容性特性,開發人員可以使用現有的 EVM 工具和編程語言 Solidity 構建新產品,同時享受 zkEVM 帶來的增強安全性。同樣的好處也適用于用戶——他們可以繼續使用相同的 DApps 和熟悉的工具,但具有更高的安全性和隱私性。
當區塊鏈被稱為 EVM 兼容時,這意味著它提供了一個可以部署以 Solidity 編程語言編寫的 DApp 的環境。Solidity 專為開發在以太坊網絡上運行的智能合約而設計。
事實上,以太坊開發人員可以從以太坊復制和粘貼現有 DApp 的代碼,并以最少的修改將其部署到其他 EVM 兼容鏈上。對于用戶來說,任何兼容 EVM 的鏈地址都與他們的以太坊地址相同。
這意味著地址與 Metamask 和 Trust Wallet 等主流錢包兼容。目前,主要的EVM兼容鏈包括BNB Chain、Avalanche C-Chain和Polygon。
不要將 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
作者:王鵬 騰訊研究院資深專家ChatGPT火爆以來,其對教育理念和方式的沖擊引起廣泛討論,似乎也讓人看到了人工智能影響下未來教育的一些走向.
1900/1/1 0:00:00以太坊上海升級已于今晨 6 點 28 分在 Epoch 194048 高度完成。此次升級的主要關注點在于增加了以太坊質押取款功能,用戶在此次升級后可提取質押的 ETH 及相關收益.
1900/1/1 0:00:00北京時間4月3日,MEV機器人在以太坊的16964664區塊被黑客利用。一名惡意驗證者替換了數筆MEV交易,導致約2538萬美元損失.
1900/1/1 0:00:00近期,香港在擁抱Web3的進程中大動作頻頻,來自全世界的Web3 Builder們都迫不及待的加入了此次盛會,分享新知表達觀點的同時,也與新伙伴相識、與老伙計“奔現”.
1900/1/1 0:00:00作者:Lucas Outumuro, IntoTheBlock第一季度市場表現強勁,BTC以超70%的漲幅領跑,ETH漲幅也達49%,市場行情大有牛回的跡象.
1900/1/1 0:00:002021年以來,NFT(Non-Fungible Token)在海外市場大放異彩,與之相對應的國內數字藏品也十分火熱。然而,就在NFT數字藏品快速發展之時,卻出現了金融泡沫、行業亂象等問題.
1900/1/1 0:00:00