原文作者:Linea 原文來源:mirror
我們將為所有讀者解析 zkEVMs 的基礎知識,無論他們對 web3 的熟悉程度如何。
零知識以太坊虛擬機(zkEVMs)被視為以太坊實現無限擴展性計劃的關鍵組成部分。它們大大簡化了開發人員的構建過程,并提供了一個低成本且安全的創新環境。
然而,要完全理解 zkEVM 是什么以及它在以太坊下一階段發展中的重要性往往很困難。在這里,我們將以易于理解的方式為你解析 zkEVMs 的基礎知識,無論你對 web3 的熟悉程度如何。
我們將從 zkEVMs 的高級概述開始,了解支撐這項新興、令人興奮的技術的各個組成部分。然后我們將討論為什么 zkEVMs 對于擴展 web3 和推動其采用至關重要。最后,我們將把 Linea 與以太坊生態系統中的其他 zkEVM 項目進行比較。
zkEVM 是一個虛擬機,它執行智能合約并使用零知識證明(也稱為“有效性證明”)證明執行的正確性。zkEVMs 重現了以太坊設計的一些方面,因此為開發人員和用戶提供了“類以太坊”的體驗。當與 rollup 技術結合時,zkEVM 為去中心化應用程序(dapps)及其用戶提供了無與倫比的安全性和可擴展性。
我們在這里不會深入解釋零知識證明,但你可以閱讀《零知識證明:STARKs vs SNARKs》以獲取全面的介紹。雖然有不同類型的有效性證明,但它們都有一個共同的特性:你可以證明對某些信息(例如,“我擁有5個ETH”)的了解,而無需揭示底層信息(例如,顯示你的錢包余額)。
播客主持人:當下的孩子們或許知道比特幣是什么:播客節目“Magic Internet Money”主持人Brad Mills發推稱:“我在萬圣節糖果盒里放了一些價值100美元的Rise Wallet比特幣卡,捕捉到了一些隨機的‘不給糖就搗蛋’的人發現它們的瞬間。‘嘿哥們,我發現了比特幣!’我想這些孩子們或許確實知道比特幣是什么。”[2020/11/1 11:22:05]
最初,零知識證明主要用于增強 web3 應用程序的隱私性——例如 ZCash(私人支付)、MACI(匿名鏈上投票)和 Aztec(私人智能合約)。但研究人員很快找到了有效性證明的更有吸引力的用例:可驗證的計算。
可驗證計算方案使“弱”計算機能夠將計算外包給功能更強大的、盡管不受信任的客戶端計算機,并驗證結果的正確性。在這里,客戶端返回結果以及用于確認正確執行計算的證明。重要的是,驗證證明所需的努力應該小于從頭開始執行計算。
ZkEVMs 使用零知識證明來證明程序正確執行,將可驗證計算帶入公共區塊鏈領域。在這種情況下,可驗證計算對于提高區塊鏈的安全性和可擴展性非常有用。
可以將 zkEVM 視為一臺可以執行任意操作的計算機,例如將兩個整數相加(“func(a + b = c)”)。用戶將輸入傳遞給程序(例如,“a = 3”和“b = 2”),全節點在 zkEVM 中使用這些輸入執行程序以產生輸出(“c = 5”)。
與此同時,程序的執行跟蹤被編譯成用于證明的“算術電路”(即,翻譯成一系列數學陳述)。這允許全節點生成一個零知識證明,以確認程序正確執行。在這種情況下,證明電路驗證有關程序執行的詳細信息,例如:
誰調用了程序的函數?
調用者是否向程序傳遞了正確的輸入?
動態 | “什么是比特幣”今年在谷歌搜索量名列前茅:據CCN報道,根據谷歌發布的2018年搜索術語年度評論,“什么是比特幣”在谷歌的搜索量名列前茅,至少在美國是這樣。在去年,人們對于比特幣的搜索包括一般新聞搜索和“如何購買比特幣”。[2018/12/13]
執行是否使用了正確的程序?
最終的輸出是否是使用提供的輸入正確執行程序的結果?
由于證明電路驗證了執行的計算完整性,網絡上的其他節點不需要重新執行程序以驗證建議的輸出。節點只需要檢查零知識證明以確認 zkEVM 的新狀態(執行程序后)是正確的。
在一個“不信任,驗證”系統中,驗證者可能要求向證明電路提供公開的輸入,包括程序的初始和最終狀態以及傳遞給函數的參數(或對這些值的加密承諾)。這確保了 SNARK 證明所驗證的計算使用正確的輸入值進行,并得出了正確的輸出。
但這主要是為了冗余:電路邏輯的約束防止了證明者創建假證明(除非證明電路被破壞)。實際上,validiums 是將所有數據離鏈發布同時保持高安全保障的 zkEVM 鏈。
這個系統的關鍵好處是什么?驗證程序執行的 SNARK(簡潔的非交互式知識論證)證明消耗的資源顯著少于原始計算。ZkEVM 節點不必重新執行每個交易以確認其有效性,極大地提高了網絡以更快的速度處理更多交易的能力。
我們也可以將可驗證計算擴展到另一個區塊鏈的交易吞吐量擴展。在這種情況下,“資源受限”的區塊鏈可以將計算卸載到一個次級的、高吞吐量的網絡,同時保留驗證交易是否正確執行的能力。零知識 rollups,一個用于以太坊(使用 zkEVM 作為運行時環境)的擴展解決方案,就基于這個想法。
英國人大多數不知道區塊鏈加密貨幣是什么:調查顯示,很多英國公民可能對基本的密碼相關條款有一個完全錯誤的想法。這表明,盡管加密貨幣越來越受歡迎,一些英國人可能仍然完全不知道他們的存在。許多英國人把加密貨幣與其他東西混為一談,例如,有36%的受訪者認為“加密貨幣”與殯葬金融有關。受訪者也被問到“區塊鏈是什么?”而令人吃驚的是,41%的人說它必須是那種老式的帶有拉鏈的廁所水箱。[2018/4/2]
Zk-rollups 通過在一個單獨的環境(描述為第2層)中執行交易,從而減輕了以太坊的計算負載。在一定的時間間隔內,rollup 的操作員會將許多用戶交易聚合成一批,并提交給以太坊上的智能合約。它還提交一個有效性證明,確認鏈下交易正確執行,新的狀態是正確的。
但我們為什么需要擴展以太坊呢?
正如你所知,以太坊虛擬機(EVM)是一個分布式計算環境(又名“世界計算機”),它支持 dapps。EVM 提供了許多好處,如安全性和去中心化,但在過程中犧牲了可擴展性。簡而言之,EVM 是一個非常安全的計算機,但它的速度很慢,使用成本很高。
多年來,“EVM兼容”的側鏈和rollup已成為解決以太坊可擴展性問題的最受歡迎的解決方案。這些區塊鏈實現了以太坊執行層(EVM)的分叉版本,但對其進行了優化,以實現更快的執行和更低的每筆交易成本。
有人會說這些解決方案并沒有直接擴展以太坊,但它們確實使開發者能夠在可擴展的鏈下層運行以太坊dapp,并允許用戶以少量以太坊成本使用這些應用。以太坊也會(間接地)受益于用戶轉移到其他區塊鏈,減輕底層擁堵并降低現有用戶的Gas價格。
新華網:沒有成熟技術,區塊鏈拿什么來顛覆:新華網援引科技日報文章表示,“顛覆”是區塊鏈宣揚者用得最多的一個詞。然而,目前的區塊鏈技術水平能否達到安全、可靠、穩定等標準?即便達到了,在可操作性上還應考慮社會學因素。文中指出,“偽裝”與“視而不見”的結伴讓區塊鏈技術動機不純;“鼓吹”讓區塊鏈嘩眾取寵;“利益”讓區塊鏈可能掙脫“市場規律”。[2018/3/25]
這并不意味著所有擴展解決方案都同樣優秀。例如,側鏈不受以太坊保護,因此用戶資金的安全取決于側鏈驗證者的誠實。在最壞的情況下,一個腐敗的驗證者集合可以輕易地竊取存放在橋上的資金,或者阻止用戶提取資金(通過審查交易)。
Rollup 在以太坊上結算交易,繼承了其安全性和去中心化特性;盡管如此,不同的 rollup 構造有不同程度的安全性。“樂觀 rollup”假設提交到以太坊L1的交易批次是有效的,并依賴激勵的一方(“觀察者”)通過欺詐證明質疑無效的執行。然而,這種方法存在一些問題:
相比之下,運行 zkEVM 的通用 zk-rollups 被認為是 "擴展的圣杯",因為它們提供了你期望的以太坊擴展解決方案的好處,而不犧牲安全性或引入信任假設。我們在下面更詳細地討論了 zkEVM 的好處:
ZkEVMs 完全兼容用于在以太坊虛擬機中運行的智能合約。此外,像 Linea 這樣的二型 zkEVM 與 EVM 基礎設施(包括開發者工具,區塊瀏覽器和錢包)無縫集成。這意味著什么?Web3 開發者可以在不產生切換成本的情況下將現有的以太坊應用遷移到 L2。更好的是,你可以使用熟悉的開發堆棧從頭開始構建新的應用——例如,zkEVMs 可以執行用 Solidity 編寫的智能合約。
zkEVM 的安全保證很簡單:零知識證明保證區塊生產者不能執行無效的狀態轉換。也就是說,只要關于底層證明電路的加密假設——比如偽造假證明的不可能性——成立。簡而言之,zkEVM 讓你 "信任數學,而不是驗證者"。
金色財經獨家消息:區塊鏈概念股的出現對于區塊鏈并不是什么好事:中網載線因區塊鏈概念,致使股價暴漲7倍,針對這種現象,金色財經就此事對鏈圈大咖進行了采訪,POW123創始人潘鵬程對此事發表了看法,他表示:“未來會有越來越多的公司借助這種手段讓自己公司的股票漲上去。”而鏈圈資深專欄作家幣學者也對此事發表了看法,幣學者表示,區塊鏈已經成為一個熱點,蹭到這個熱點,股價馬上飆升,這立竿見影的效果讓很多企業不想錯過此機會,這并沒有什么好奇怪的。但是在美國已經有企業因為這個被處罰,相信中國也會對此現象進行治理,不過眾多公司蹭區塊鏈的熱點對于區塊鏈而言反而并不是什么好事,也許這就是熱惹禍的根由。[2018/1/5]
現在,有效性證明確保了安全性,但并不保證活性和數據可用性——這就是為什么 zkEVM 區塊鏈依賴以太坊來強制這些安全性質。我們不會在這里深入技術細節,但這種安排提供了以下保證:
用戶總是可以通過向以太坊上的 L2 合約發送退出交易,從 zk-rollup 中提取資金。
惡意的 rollup 操作員不能凍結 rollup 或隱藏區塊鏈的狀態;只有當數據在鏈上發布時,以太坊網絡才會確認 L2 區塊。這確保了用戶始終能夠訪問狀態數據,并且誠實的節點可以重構 L2 的最后狀態并產生新的區塊。
ZkEVM 設計為具有高度可擴展性。雖然 EVM 要求每個網絡參與者在達成共識之前重新執行交易,但 zkEVM 使用的是非交互式證明。這提高了吞吐量,減少了延遲,因為驗證 L2 區塊的證明比重新執行新提議的區塊中的每個交易更快。
但等等,還有更多!通過使用“遞歸證明”,ZkEVM 可以進一步提高吞吐量。遞歸證明是通過合并多個有效性證明生成的,這樣,驗證單個證明也就驗證了所有底層證明的有效性。
當提交給以太坊 L1 上的證明驗證合約時,一個遞歸證明允許同時確定幾個 L2 區塊。這顯著減少了 L2 順序器在提交證明到 L1 的基礎上逐塊生成區塊的時間。
在加密貨幣的世界中,當一個交易或區塊被區塊鏈網絡中的大多數人接受并且不能被逆轉(除非花費大量資源)時,它被“確定”了。確定性是比較 rollup 解決方案的一個好的啟示方法,因為它決定了用戶必須等待多久才能提取存入 rollup 的資金。
你會經常聽到 zkEVM 有“快速確定性”。這只是意味著以太坊在 zkEVM rollup 上進行的交易(包括提現操作)比在普通的樂觀 rollup 上完成的時間更短。這有重大的影響,如在去中心化金融(DeFi)行業的投資者可以享受更好的流動性。
ZkEVM rollup 可以選擇只在以太坊 L1 上發布對其最終狀態的承諾,從而減少鏈上存儲成本。由于有效性證明保證了 zkEVM 新狀態的正確性,因此順序器不必發布所有數據(包括未壓縮的交易輸入)以重新執行狀態轉換更改。相比之下,樂觀 rollup 必須在 L1 上發布原始交易數據,以便誠實的觀察者可以獨立計算 L2 的新狀態,并可能質疑無效的轉換。
DeFi:由于從 zkEVM rollup 提現的延遲較低,交易員和投資者將享受更好的資本效率和更多的流動性獲取途徑。而且,由于不需要支付流動性提供商更快出可擴展性的成本節省將呈指數級增長。
NFT:憑借極低的燃氣費和高TPS(每秒交易量),zkEVM鏈是大規模鑄造和交易NFT的理想選擇。此外,當將NFT轉移到以太坊L1時,您將獲得更好的用戶體驗,因為提款將立即得到最終確定(一旦鏈上驗證器合約接受提交的證明)。
游戲:對于處理大量交易的鏈上游戲應用程序,zkEVM是理想的選擇。除了前面描述的可擴展性優勢之外,鏈上玩家每筆交易的成本更低——這歸功于zkEVM的數據壓縮能力。
企業應用:企業可以利用zkEVM對通用計算的支持,為用戶開發可擴展的應用程序。我們還應該注意,zkEVM Rollup很適合引導高度安全的“第3層”區塊鏈。有了L3基礎設施,機構可以構建可定制以提供獨特功能的應用特定區塊鏈。一個好的例子是一個validium,它將有效性證明發布到zkEVM區塊鏈(最終在以太坊L1上進行驗證),但將數據存儲在鏈下,以保護用戶的隱私。
支付:zkEVM優化了規模(也就是說,這個去中心化的計算機非常快速,使用成本極低),因此非常適合進行點對點支付和進行機構結算。您還擁有強大的交易最終確定性保證,這是由以太坊的高度分散網絡(50萬+驗證器并且還在增加)直接執行的。
Linea是一個等同于EVM的zk-rollup,其執行引擎是Type 2 zkEVM。Linea由在證明和可擴展性技術方面有深厚經驗的團隊開發,旨在以一部分成本將以太坊體驗帶給開發者和用戶。
作為一個Type 2 zkEVM,Linea優先考慮與所有以太坊應用程序和基礎設施的兼容性。分析不同的zkEVM設計超出了我們的討論范圍(Vitalk的zkEVM類型更詳細地討論了這個話題);
然而,您可以期望從使用Linea zkEVM獲得以下好處:
與EVM錢包(MetaMask),開發者工具(Truffle,Remix,Brownie,Foundry,Hardhat等)以及像節點提供商(Infura)和執行客戶端(Besu)這樣的關鍵基礎設施無縫集成
與以太坊的體驗幾乎完全相同——例如,Linea使用ETH進行燃氣費支付
具備以太坊擴展解決方案的所有優點(低費用,近乎即時確認,高TPS)而沒有競爭項目固有的任何缺點(最終確定性延遲,高成本和糟糕的安全性)
為您提供等同于EVM的基礎設施,以便解鎖新的用例和構建新穎的應用程序,同時受益于以太坊的安全性,去中心化和開發者體驗
Linea的公共測試網已經上線,自最初公告以來,我們已經記錄了令人難以置信的參與水平。現在,您也可以加入其他人,共同構建Linea的未來:
您是一位希望與Linea一起構建下一代可擴展dapps的開發者嗎?通過參與Linea Voyage并幫助我們對網絡進行壓力測試來開始您的旅程。您還可以查看開發者快速入門,文檔和教程。
您是一位對試用Linea感興趣的用戶嗎?從Goerli水龍頭獲取一些ETH,將資金橋接到L2,然后開始在Linea測試網上使用dapps。為了讓事情變得更容易,Linea是MetaMask的默認網絡,所以您不必手動導入新網絡。
MarsBit
媒體專欄
閱讀更多
金色薦讀
金色財經 善歐巴
迪新財訊
Chainlink預言機
區塊律動BlockBeats
白話區塊鏈
金色早8點
Odaily星球日報
Arcane Labs
Tags:以太坊區塊鏈ROLROLL以太坊最新價格美元計價區塊鏈運用的技術中不包括哪一項項Swaprolroll幣怎么用
來源:銀華基金 談到洗錢,我們首先想到的可能是電影里拍的,利用賭場、現金交易、收藏品拍賣等,但近幾年興起的虛擬貨幣,也成為了犯罪分子又一種新的洗錢途徑.
1900/1/1 0:00:00最近,幣圈上演了一場真假Arbitrum的騙局。而這樣的故事,也許冰山之下每天都在不停的上演。火熱Arbitrum:最受追捧的Layer 2生態Arbitrum 是以太坊Layer2層.
1900/1/1 0:00:00撰文:罐子種子|Jarseed 來源:深潮TechFlow自從幣圈行情進入到了 MEME 季,無數的造福神話與一夜歸零在不斷上演.
1900/1/1 0:00:00作者:Elaine Yang;notion一、介紹比特幣NFT協議OrdinalsNFT 作為可以代表獨一無二的數字資產或實物資產的加密代幣,它在區塊鏈上具有唯一性和不可替代性.
1900/1/1 0:00:00Web3 的出現意味著價值不再需要主要由社交媒體中介積累,而社交媒體中介的主要用途是促進聯系。Web3 社交具有三個特征:無平臺、社交數據可移植、可組合.
1900/1/1 0:00:00原文作者:DefiNapkin跟隨「聰明錢」是發現潛力敘事的好方法,及早發現它們可以帶來巨大的投資回報。以下是 5 家頂級加密 VC 在 2023 年的投資趨勢.
1900/1/1 0:00:00