作者:Manta Network 聯合創始人Kenny Li 翻譯:金色財經0xnaitive
零知識以太坊虛擬機 (zkEVM) 是一種以太坊狀態機,可以與零知識證明 (ZKP) 技術兼容的方式執行智能合約。
zkEVM 擴展了以太坊上零知識rollup (zk-rollups) 的功能,以支持去中心化應用程序 (DApp)。
zkEVM 可以輕松部署現有的以太坊項目和使用ZKP的新項目,以增強以太坊生態系統。
以太坊開發人員在 2014 年首次提出以太坊網絡時并沒有考慮ZKP 技術。然而,近年來,ZKP 受到了關注,并有望在區塊鏈領域發揮更加突出的作用。因此,將 ZKP 技術與以太坊的虛擬機相結合的努力已經加強。
要了解什么是 zkEVM,讓我們首先簡要回顧一下它的兩個基本概念:zk-rollups 和 EVM。
Rollup 是一種擴展解決方案,它在主鏈之外編譯大量交易執行,并將數據作為單個交易發送回主網絡。這個過程增加了吞吐量,同時降低了執行這些交易的成本。
聲音 | 美國眾議院議員:沒有什么能力能夠“殺死”比特幣:美國眾議院議員Patrick McHenry接受采訪時表示,沒有什么能力能夠“殺死”比特幣。在被問到“你認為監管者或政客是否會允許出現比特幣、Libra這種跟法幣監管大相徑庭的新型貨幣?”McHenry回應道:“沒有什么能力能夠殺死比特幣,但是新的迭代將會試圖模仿比特幣,但同時又不夠去中心化,不夠開放,那么就會有不同的機制可能會致其于死地。”[2019/7/17]
在以太坊上,一個Rollup中的交易被壓縮并提交給以太坊主網,支付驗證單筆交易的費用。以太坊主網提供結算并驗證匯總中包含的交易數據。
zk-rollup是一種使用 ZKP 技術的rollup,ZKP 技術是一種加密技術,可以在不泄露信息本身的情況下驗證一條信息的有效性。zk-rollups 不需要將所有交易數據發布到以太坊主網;他們只需要狀態差異(例如用戶帳戶狀態的更改)和有效性證明,從而降低過程中Gas費。
zk-rollups的安全性來自于ZKP密碼學,通過密碼學的手段來驗證證明,實現去信任化。這與optimistic rollups等其他 rollup 不同,后者的安全性來自經濟學博弈論,在該理論中,不良行為者會因潛在損失而失去動力,而挑戰者會受到激勵。
袁煜明:以什么樣的心態接受房地產帶來的巨大沖擊 就以什么樣的心態接受區塊鏈:近日,袁煜明坦表示:“之前以什么樣的心態接受房地產帶來的巨大沖擊,就以什么樣的心態接受區塊鏈”,他表示,這些年來,唯一不變的就是變化,70后把10w一平的房子賣給90后,憑什么90后不能把5w一枚的比特幣賣給70后。[2018/4/13]
EVM 是運行以太坊賬戶系統和智能合約的狀態機。每次智能合約執行都會觸發 EVM 從舊狀態轉換到新狀態。EVM 定義了計算從一個區塊到另一個區塊的新狀態和有效狀態的規則。
狀態是以太坊中的一個重要概念。它是一個 Merkle Patricia Trie 數據結構,代表以太坊的當前狀態,并允許任何人從當前區塊一直追蹤交易信息回到創世區塊。
所有參與維護以太坊的節點都存在以確保連續性和共識,這使得每個節點都可以看到確切的當前狀態。EVM 在保持這種一致性方面發揮著關鍵作用。
EVM 默認不支持 ZKP。zkEVM 旨在確保以太坊狀態的連續性,同時提供所有信息正確的證據。這樣,在維護安全性和隱私性的同時,驗證了這些過程計算中涉及的各種因素。
新華網:沒有成熟技術,區塊鏈拿什么來顛覆:新華網援引科技日報文章表示,“顛覆”是區塊鏈宣揚者用得最多的一個詞。然而,目前的區塊鏈技術水平能否達到安全、可靠、穩定等標準?即便達到了,在可操作性上還應考慮社會學因素。文中指出,“偽裝”與“視而不見”的結伴讓區塊鏈技術動機不純;“鼓吹”讓區塊鏈嘩眾取寵;“利益”讓區塊鏈可能掙脫“市場規律”。[2018/3/25]
zkEVM 通過將以太坊環境復制為 zk-rollups 來做到這一點。它獲取初始狀態,計算所有交易,然后輸出一個新的更新狀態以及隨附的 ZKP。該證明被提交給驗證者智能合約,該合約檢查初始狀態和新狀態輸出的正確性,而無需單獨驗證所有交易。
由于 zkEVM 基于 EVM,開發人員能夠輕松地將以太坊 DApp 和智能合約移植到 zkEVM,而無需進行 ZKP 開發工作。換句話說,zkEVM 允許 zk-rollups 執行智能合約,此外還有以前在沒有 zkEVM 的情況下支持的代幣交換和支付。
由于 EVM 的兼容性特性,開發人員可以使用現有的 EVM 工具和編程語言 Solidity 構建新產品,同時享受 zkEVM 帶來的增強安全性。同樣的好處也適用于用戶——他們可以繼續使用相同的 DApps 和熟悉的工具,但具有更高的安全性和隱私性。
李笑來:人為割裂區塊鏈和互聯網是利益之爭,不存在什么“古典互聯網”:李笑來在接受媒體采訪時表示:“不存在什么‘古典互聯網’,互聯網就是互聯網,區塊鏈也是互聯網的一部分。你怎么可能指著你的肚子之外的部分說,這是‘古典身體’,然后再接著問,‘這個肚子和古典身體之間有著不可調和的矛盾’?人為割裂區塊鏈和互聯網,本意不是理論體系的互斥,而是利益的爭奪。”對于中國互聯網的主要矛盾是什么,李笑來表示并不知道,只知道互聯網發展迅速造成了更大的貧富差距,引發了一定的社會矛盾,這是不能回避的事實。[2018/3/6]
當區塊鏈被稱為 EVM 兼容時,這意味著它提供了一個可以部署以 Solidity 編程語言編寫的 DApp 的環境。Solidity 專為開發在以太坊網絡上運行的智能合約而設計。
事實上,以太坊開發人員可以從以太坊復制和粘貼現有 DApp 的代碼,并以最少的修改將其部署到其他 EVM 兼容鏈上。對于用戶來說,任何兼容 EVM 的鏈地址都與他們的以太坊地址相同。
金色財經獨家消息:區塊鏈概念股的出現對于區塊鏈并不是什么好事:中網載線因區塊鏈概念,致使股價暴漲7倍,針對這種現象,金色財經就此事對鏈圈大咖進行了采訪,POW123創始人潘鵬程對此事發表了看法,他表示:“未來會有越來越多的公司借助這種手段讓自己公司的股票漲上去。”而鏈圈資深專欄作家幣學者也對此事發表了看法,幣學者表示,區塊鏈已經成為一個熱點,蹭到這個熱點,股價馬上飆升,這立竿見影的效果讓很多企業不想錯過此機會,這并沒有什么好奇怪的。但是在美國已經有企業因為這個被處罰,相信中國也會對此現象進行治理,不過眾多公司蹭區塊鏈的熱點對于區塊鏈而言反而并不是什么好事,也許這就是熱惹禍的根由。[2018/1/5]
這意味著地址與 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
引言 Arbitrum的造富效應仍然在加密市場中存有很高熱度,最近鏈上活躍度依然很高。那么,除了Arbitrum,還有哪些Layer2項目值得關注?下一個大空投又會是誰?最近受市場追捧的zkSy.
1900/1/1 0:00:00深入研究模塊化區塊鏈如何影響IBC狀態層的設計。 模塊化區塊鏈和 Rollup 的設計靈活性也促使 IBC 具有更高的靈活性.
1900/1/1 0:00:00Oort DSS,一款顛覆性的去中心化對象存儲服務平臺,今日正式亮相。借助Oort的強大技術實力,Web3 數據云平臺 Oort 今日宣布其去中心化對象存儲服務平臺(Oort DSS)正式上線,
1900/1/1 0:00:00原文:lattice 摘要: 由于需要直接與基本協議層(L1s)進行交互,構建和使用加密貨幣仍然非常困難.
1900/1/1 0:00:00藍籌 NFT 進入調整期,NFT 交易市場卻熱鬧非凡。NFT 賽道的機會在哪?這應該是近幾個月 NFT 玩家苦思冥想的事情.
1900/1/1 0:00:002023年4月7日,美國財政部發布了去中心化金融(DeFi)非法金融風險評估(DeFi Illicit Finance Risk Assessment).
1900/1/1 0:00:00