以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 屎幣 > Info

Linea:適應所有場景的zkEVM解決方案_以太坊:ROL

Author:

Time:1900/1/1 0:00:00

我們將為所有讀者解析zkEVMs的基礎知識,無論他們對web3的熟悉程度如何。

零知識以太坊虛擬機被視為以太坊實現無限擴展性計劃的關鍵組成部分。它們大大簡化了開發人員的構建過程,并提供了一個低成本且安全的創新環境。

然而,要完全理解zkEVM是什么以及它在以太坊下一階段發展中的重要性往往很困難。在這里,我們將以易于理解的方式為你解析zkEVMs的基礎知識,無論你對web3的熟悉程度如何。

我們將從zkEVMs的高級概述開始,了解支撐這項新興、令人興奮的技術的各個組成部分。然后我們將討論為什么zkEVMs對于擴展web3和推動其采用至關重要。最后,我們將把Linea與以太坊生態系統中的其他zkEVM項目進行比較。

ELI5:WTF是zkEVM?

zkEVM是一個虛擬機,它執行智能合約并使用零知識證明證明執行的正確性。zkEVMs重現了以太坊設計的一些方面,因此為開發人員和用戶提供了“類以太坊”的體驗。當與rollup技術結合時,zkEVM為去中心化應用程序及其用戶提供了無與倫比的安全性和可擴展性。

我們在這里不會深入解釋零知識證明,但你可以閱讀《零知識證明:STARKsvsSNARKs》以獲取全面的介紹。雖然有不同類型的有效性證明,但它們都有一個共同的特性:你可以證明對某些信息的了解,而無需揭示底層信息。

最初,零知識證明主要用于增強web3應用程序的隱私性——例如ZCash、MACI和Aztec。但研究人員很快找到了有效性證明的更有吸引力的用例:可驗證的計算。

數據:1,500枚BTC從未知錢包轉移CryptoCom:金色財經報道,WhaleAlert監測數據顯示,1,500枚BTC(價值42,713,121美元)從未知錢包轉移到CryptoCom。[2023/5/3 14:40:05]

可驗證計算方案使“弱”計算機能夠將計算外包給功能更強大的、盡管不受信任的客戶端計算機,并驗證結果的正確性。在這里,客戶端返回結果以及用于確認正確執行計算的證明。重要的是,驗證證明所需的努力應該小于從頭開始執行計算。

ZkEVMs使用零知識證明來證明程序正確執行,將可驗證計算帶入公共區塊鏈領域。在這種情況下,可驗證計算對于提高區塊鏈的安全性和可擴展性非常有用。

可以將zkEVM視為一臺可以執行任意操作的計算機,例如將兩個整數相加。用戶將輸入傳遞給程序,全節點在zkEVM中使用這些輸入執行程序以產生輸出。

與此同時,程序的執行跟蹤被編譯成用于證明的“算術電路”。這允許全節點生成一個零知識證明,以確認程序正確執行。在這種情況下,證明電路驗證有關程序執行的詳細信息,例如:

誰調用了程序的函數?調用者是否向程序傳遞了正確的輸入?執行是否使用了正確的程序?最終的輸出是否是使用提供的輸入正確執行程序的結果?由于證明電路驗證了執行的計算完整性,網絡上的其他節點不需要重新執行程序以驗證建議的輸出。節點只需要檢查零知識證明以確認zkEVM的新狀態是正確的。

在一個“不信任,驗證”系統中,驗證者可能要求向證明電路提供公開的輸入,包括程序的初始和最終狀態以及傳遞給函數的參數。這確保了SNARK證明所驗證的計算使用正確的輸入值進行,并得出了正確的輸出。

FTX Japan將于2月21日恢復加密貨幣和法定提款:金色財經報道,FTX 的日本子公司FTX Japan將于 2 月 21 日恢復加密貨幣和法定提款。FTX Japan在聲明中表示,取款將通過 Liquid Japan 網絡平臺處理。FTX 于 2022 年收購了 Liquid。在交易所擁有資產的客戶必須確認其余額。沒有 Liquid Japan 賬戶的用戶將需要開設一個賬戶才能提取資產。?

FTX Japan表示,已聯系平臺上所有有資金的用戶。該公司表示,這些用戶已被告知退出程序。FTX Japan 敦促用戶注意,考慮到待處理請求的數量,這個過程可能會很慢。[2023/2/20 12:17:55]

但這主要是為了冗余:電路邏輯的約束防止了證明者創建假證明。實際上,validiums是將所有數據離鏈發布同時保持高安全保障的zkEVM鏈。

這個系統的關鍵好處是什么?驗證程序執行的SNARK證明消耗的資源顯著少于原始計算。ZkEVM節點不必重新執行每個交易以確認其有效性,極大地提高了網絡以更快的速度處理更多交易的能力。

以太坊的zkEVM擴展解決方案

我們也可以將可驗證計算擴展到另一個區塊鏈的交易吞吐量擴展。在這種情況下,“資源受限”的區塊鏈可以將計算卸載到一個次級的、高吞吐量的網絡,同時保留驗證交易是否正確執行的能力。零知識rollups,一個用于以太坊的擴展解決方案,就基于這個想法。

?蘋果將新XR設備的推出時間延遲至6月份:金色財經報道,據知情人士透露,蘋果公司已將其首款混合現實頭顯(XR)的推出計劃從4月左右推遲到6月,因產品測試顯示硬件和軟件仍舊存在需要解決的問題。蘋果現在計劃在年度全球開發者大會上發布這款產品。蘋果從2015年左右開始研究這項技術,并一度計劃在去年6月推出該產品,但后來推遲到2023年1月左右,接著又被推遲至春季發布。[2023/2/16 12:10:04]

Zk-rollups通過在一個單獨的環境中執行交易,從而減輕了以太坊的計算負載。在一定的時間間隔內,rollup的操作員會將許多用戶交易聚合成一批,并提交給以太坊上的智能合約。它還提交一個有效性證明,確認鏈下交易正確執行,新的狀態是正確的。

但我們為什么需要擴展以太坊呢?

正如你所知,以太坊虛擬機是一個分布式計算環境,它支持dapps。EVM提供了許多好處,如安全性和去中心化,但在過程中犧牲了可擴展性。簡而言之,EVM是一個非常安全的計算機,但它的速度很慢,使用成本很高。

多年來,“EVM兼容”的側鏈和rollup已成為解決以太坊可擴展性問題的最受歡迎的解決方案。這些區塊鏈實現了以太坊執行層的分叉版本,但對其進行了優化,以實現更快的執行和更低的每筆交易成本。

有人會說這些解決方案并沒有直接擴展以太坊,但它們確實使開發者能夠在可擴展的鏈下層運行以太坊dapp,并允許用戶以少量以太坊成本使用這些應用。以太坊也會受益于用戶轉移到其他區塊鏈,減輕底層擁堵并降低現有用戶的Gas價格。

數據:自9月中旬以來,匿名比特幣地址已累計增持約5000枚BTC:10月9日消息,根據比特幣鏈上分析師@Capital15C披露數據,一個匿名比特幣地址從2022年9月17日開始就一直在積極增持比特幣,其單筆購買交易規模基本上在100-200枚;截至10月7日,該地址的比特幣余額已經從21,799 BTC增加到了26,280 BTC,按照當前BTC美元價格計算,此錢包的余額規模已經超過5億美元。[2022/10/9 12:50:05]

這并不意味著所有擴展解決方案都同樣優秀。例如,側鏈不受以太坊保護,因此用戶資金的安全取決于側鏈驗證者的誠實。在最壞的情況下,一個腐敗的驗證者集合可以輕易地竊取存放在橋上的資金,或者阻止用戶提取資金。

Rollup在以太坊上結算交易,繼承了其安全性和去中心化特性;盡管如此,不同的rollup構造有不同程度的安全性。“樂觀rollup”假設提交到以太坊L1的交易批次是有效的,并依賴激勵的一方通過欺詐證明質疑無效的執行。然而,這種方法存在一些問題:

誠實假設:為了保持樂觀rollup的安全性,必須有人可以驗證rollup交易并質疑無效的操作。樂觀rollup假設存在誠實的驗證者,在某些情況下,這個假設可能無法成立。提款延遲:由于觀察者需要時間提出質疑,樂觀rollup對提款施加了延遲。這種延遲可能會對在L2上進行交易的用戶的體驗產生負面影響。增加交易費用:樂觀rollup不信任排序器以避免數據扣留攻擊,因此在以太坊上發布完整的交易數據以實現rollup區塊的去中心化驗證。這提高了安全性,但也增加了交易費用,因為將數據存儲在鏈上的成本轉嫁給了用戶。相比之下,運行zkEVM的通用zk-rollups被認為是"擴展的圣杯",因為它們提供了你期望的以太坊擴展解決方案的好處,而不犧牲安全性或引入信任假設。我們在下面更詳細地討論了zkEVM的好處:

Line旗下NFT子公司Line Next完成1000萬美元戰略融資,軟銀、Hashed等參投:7月13日消息,據官方公告,日本通訊巨頭Line旗下NFT子公司LineNext宣布完成1000萬美元戰略融資,本輪融資由軟銀、NAVER、NAVERWEBTOON、NAVERZ、LINE Games、CJENM、YG PLUS、SHIN SEGAE、Hashed、KAuction參投。

這10家公司將支持Line Next的全球NFT平臺DOSI的推出和基于IP內容的NFT項目開發。通過此次投資,LineNext將擴大與IP內容、發行、游戲和娛樂公司在NFT內容業務和營銷對接方面的戰略合作。此前報道,LineNext宣布將與軟銀、Visa等26家公司合作,共建全球NFT生態。(linepluscorp.com)[2022/7/13 2:09:48]

EVM兼容性

ZkEVMs完全兼容用于在以太坊虛擬機中運行的智能合約。此外,像Linea這樣的二型zkEVM與EVM基礎設施無縫集成。這意味著什么?Web3開發者可以在不產生切換成本的情況下將現有的以太坊應用遷移到L2。更好的是,你可以使用熟悉的開發堆棧從頭開始構建新的應用——例如,zkEVMs可以執行用Solidity編寫的智能合約。

安全性

zkEVM的安全保證很簡單:零知識證明保證區塊生產者不能執行無效的狀態轉換。也就是說,只要關于底層證明電路的加密假設——比如偽造假證明的不可能性——成立。簡而言之,zkEVM讓你"信任數學,而不是驗證者"。

現在,有效性證明確保了安全性,但并不保證活性和數據可用性——這就是為什么zkEVM區塊鏈依賴以太坊來強制這些安全性質。我們不會在這里深入技術細節,但這種安排提供了以下保證:

用戶總是可以通過向以太坊上的L2合約發送退出交易,從zk-rollup中提取資金。惡意的rollup操作員不能凍結rollup或隱藏區塊鏈的狀態;只有當數據在鏈上發布時,以太坊網絡才會確認L2區塊。這確保了用戶始終能夠訪問狀態數據,并且誠實的節點可以重構L2的最后狀態并產生新的區塊。

可擴展性

ZkEVM設計為具有高度可擴展性。雖然EVM要求每個網絡參與者在達成共識之前重新執行交易,但zkEVM使用的是非交互式證明。這提高了吞吐量,減少了延遲,因為驗證L2區塊的證明比重新執行新提議的區塊中的每個交易更快。

但等等,還有更多!通過使用“遞歸證明”,ZkEVM可以進一步提高吞吐量。遞歸證明是通過合并多個有效性證明生成的,這樣,驗證單個證明也就驗證了所有底層證明的有效性。

當提交給以太坊L1上的證明驗證合約時,一個遞歸證明允許同時確定幾個L2區塊。這顯著減少了L2順序器在提交證明到L1的基礎上逐塊生成區塊的時間。

改進的用戶體驗

在加密貨幣的世界中,當一個交易或區塊被區塊鏈網絡中的大多數人接受并且不能被逆轉時,它被“確定”了。確定性是比較rollup解決方案的一個好的啟示方法,因為它決定了用戶必須等待多久才能提取存入rollup的資金。

你會經常聽到zkEVM有“快速確定性”。這只是意味著以太坊在zkEVMrollup上進行的交易比在普通的樂觀rollup上完成的時間更短。這有重大的影響,如在去中心化金融行業的投資者可以享受更好的流動性。

降低成本

ZkEVMrollup可以選擇只在以太坊L1上發布對其最終狀態的承諾,從而減少鏈上存儲成本。由于有效性證明保證了zkEVM新狀態的正確性,因此順序器不必發布所有數據以重新執行狀態轉換更改。相比之下,樂觀rollup必須在L1上發布原始交易數據,以便誠實的觀察者可以獨立計算L2的新狀態,并可能質疑無效的轉換。

你可以用zkEVM做什么?

DeFi:由于從zkEVMrollup提現的延遲較低,交易員和投資者將享受更好的資本效率和更多的流動性獲取途徑。而且,由于不需要支付流動性提供商更快出可擴展性的成本節省將呈指數級增長。NFT:憑借極低的燃氣費和高TPS,zkEVM鏈是大規模鑄造和交易NFT的理想選擇。此外,當將NFT轉移到以太坊L1時,您將獲得更好的用戶體驗,因為提款將立即得到最終確定。游戲:對于處理大量交易的鏈上游戲應用程序,zkEVM是理想的選擇。除了前面描述的可擴展性優勢之外,鏈上玩家每筆交易的成本更低——這歸功于zkEVM的數據壓縮能力。企業應用:企業可以利用zkEVM對通用計算的支持,為用戶開發可擴展的應用程序。我們還應該注意,zkEVMRollup很適合引導高度安全的“第3層”區塊鏈。有了L3基礎設施,機構可以構建可定制以提供獨特功能的應用特定區塊鏈。一個好的例子是一個validium,它將有效性證明發布到zkEVM區塊鏈,但將數據存儲在鏈下,以保護用戶的隱私。支付:zkEVM優化了規模,因此非常適合進行點對點支付和進行機構結算。您還擁有強大的交易最終確定性保證,這是由以太坊的高度分散網絡直接執行的。Linea:放諸四海而皆準的zkEVM

Linea是一個等同于EVM的zk-rollup,其執行引擎是Type2zkEVM。Linea由在證明和可擴展性技術方面有深厚經驗的團隊開發,旨在以一部分成本將以太坊體驗帶給開發者和用戶。

作為一個Type2zkEVM,Linea優先考慮與所有以太坊應用程序和基礎設施的兼容性。分析不同的zkEVM設計超出了我們的討論范圍;然而,您可以期望從使用LineazkEVM獲得以下好處:

與EVM錢包,開發者工具以及像節點提供商和執行客戶端這樣的關鍵基礎設施無縫集成與以太坊的體驗幾乎完全相同——例如,Linea使用ETH進行燃氣費支付具備以太坊擴展解決方案的所有優點而沒有競爭項目固有的任何缺點為您提供等同于EVM的基礎設施,以便解鎖新的用例和構建新穎的應用程序,同時受益于以太坊的安全性,去中心化和開發者體驗Linea的公共測試網已經上線,自最初公告以來,我們已經記錄了令人難以置信的參與水平。現在,您也可以加入其他人,共同構建Linea的未來:

您是一位希望與Linea一起構建下一代可擴展dapps的開發者嗎?通過參與LineaVoyage并幫助我們對網絡進行壓力測試來開始您的旅程。您還可以查看開發者快速入門,文檔和教程。您是一位對試用Linea感興趣的用戶嗎?從Goerli水龍頭獲取一些ETH,將資金橋接到L2,然后開始在Linea測試網上使用dapps。為了讓事情變得更容易,Linea是MetaMask的默認網絡,所以您不必手動導入新網絡。

Tags:以太坊ROLROLLINE以太坊行情Control2XYTROLL BNBEthfinex Nectar Token

屎幣
Bytom Tech Angel 比原技術社區加入 Bystack 生態_STA:Xystus coin

近日,BytomTechAngel比原技術社區正式宣布參與比原鏈Bystack共識節點競選。目前已獲得超過300萬BTM的投票.

1900/1/1 0:00:00
GPT-4 可以免費用了!盤點免費試用 GPT-4的3個平臺_TPS:HTT

GPT-4開放至今,已有1個多月時間了,但是除了少數人有OpenAI的GPT-4權限之外,大部分人還是只能通過開通ChatGPTPlus來嘗鮮GPT-4.

1900/1/1 0:00:00
長推:Ordinals和Brc20將比特幣變成下一個ETH?_比特幣:btc短線交易騙局

注:本文來自@BTCdayu推特,原推文內容由MarsBit整理如下:Ordinals和Brc20就是將比特幣變成下一個ETH?看到這種愚蠢的論調真是吐血三升……一個稍長的討論貼.

1900/1/1 0:00:00
長推:警惕 meme 幣投資中的 PUA 陷阱_MEM:MEME

Meme幣投資中的PUA陷阱:保持理性心態,遠離操縱性言論 一.背景 這幾天meme幣風口,不僅僅是brc20,以太上的meme也有一定程度的拉盤.

1900/1/1 0:00:00
長推:探究Ordinals 與BRC-20的另一面_比特幣:比特幣的市值是多少

有關Ordinals,區塊空間以及“BRC-20”,未被深思的問題。Ordinals引發的潮流,至今仍在引起爭議。一些人認為,向區塊空間寫入與任何一筆比特幣的密碼學安全都無關的數據,是有害的.

1900/1/1 0:00:00
盤點比特幣生態頭部NFT,超550萬被鑄造銘文中哪些是“潛力股”_比特幣:比特幣市值相當于多少家銀行

伴隨著BRC-20概念爆火出圈,相關Token總市值一路創新高的同時,也帶動了比特幣NFT生態的發展.

1900/1/1 0:00:00
ads