原文:《What’s New with ZKs?》by William M. Peaster
編譯:Kyle
如果您深入了解加密世界,那么您已經聽說過零知識證明(ZK Proof)及其應用已有一段時間了。他們已上線……或者非常接近上線……或者他們的某個版本就在眼前?這些信息很難跟蹤。
ZK 擁有各種各樣的實現——今天我們將通過一些關于 ZK 世界如何發展的更新。
在區塊鏈術語中,我們認為以太坊生命的初始階段是單體的。
這意味著,在最初幾年,「第一層(L1)」以太坊主網完全負責執行自己的交易,促進自己的網絡安全,并為自己的數據可用性提供服務。
在過去的幾年里,以太坊一直在迅速轉向模塊化設計,這意味著圍繞以太坊構建的外部第三方解決方案越來越多地被用來擴展以太坊的數據和執行需求。
模塊化以太坊丨來源:Ultra Scalable Ethereum在數據可用性方面,Celestia 和 Polygon Avail 等項目是競爭者。至于執行,近年來我們看到像 Arbitrum 和 zkSync 這樣的「第二層(L2)」的興起,它們在以太坊之外(即鏈下)執行交易,然后有效地將交易批量「匯總」(rollup)到以太坊 L1,在此過程中提供令人難以置信的實惠和快速的用戶體驗。
今天,以太坊 L1 本身每秒促成可憐的約 30 筆交易(TPS)。為了更好地處理全球活動水平而不會出現嚴重的網絡擁塞(高費用、緩慢的交易),以太坊越來越依賴于擴展創新來優化其執行能力。這里有兩種主要的解決方案類型:鏈上擴展和鏈下擴展。
ZK-RaaS提供商Opside完成400萬美元種子輪融資:4月6日消息,ZK-RaaS(ZK-rollup-as-a-service)提供商 Opside 宣布完成 400 萬美元種子輪融資,本輪融資由 Web3.com Ventures 領投。種子輪資金將用于加速 Opside 的發展,擴大其團隊并擴大其運營規模。[2023/4/6 13:48:06]
鏈上擴展是指直接對區塊鏈進行的更改,以提高其交易執行能力,即吞吐速度。對于以太坊來說,一個例子是分片,一旦這項創新得到實施,將把活動負載分散到幾十個主要的、神圣的(enshrined)以太坊鏈上,而不是單一的主網上。
以太坊 L2 + 分片的未來 - 來自Vitalik Buterin鏈下擴展是指外部執行環境,即 L2,它促進以太坊之外的廉價和快速交易,然后將交易數據批量發布到以太坊以完成活動并繼承以太坊的安全性。鏈下擴展不是像分片那樣將 L1 分成許多主鏈,而是培養了一個由許多外部 rollup 組成的二級層,這些層的可定制性非常好。
談到 L2,最流行的當代解決方案是零知識 rollup(ZK rollup)。值得注意的是,這些 rollup 可以促進大約 2,000 TPS,比以太坊目前的 30 TPS 速率增加了 6,500%!
這種特殊的 L2 風格使用了「零知識證明(ZKP)」技術,例如 SNARKs,以加密方式驗證并在以太坊上發布其交易批次。因此,通過零知識證明(ZKP)將鏈下執行與鏈上數據結合起來,您將獲得 ZK rollup(相反,通過欺詐證明將鏈下執行與鏈上數據結合起來以獲得 Optimistic rollup)。
當前zkSyncEra TVL達到9392萬美元,超過zkSync Lite:金色財經報道,據L2BEAT數據顯示,zkSync Era在推出一周后網絡總鎖倉量(TVL)目前達到9392萬美元,超過zkSync Lite(8622萬美元)。[2023/4/1 13:39:27]
綜上所述,L2 BEAT 目前跟蹤的五個最大的 ZK rollup 如下:
dYdX—加密貨幣和衍生品交易所 | 3.75 億美元 TVL
路印協議—用于交易,NFT 的 L2 | 1.21 億美元 TVL
zkSync Lite—用于交易,NFT 的 L2 | 6500 萬美元 TVL
ZKSpace—用于交易,NFT 的 L2 | 4900 萬美元 TVL
Aztec Connect—用于私人 DeFI 的 L2 | 1500 萬美元 TVL
今天最大的 10 個 L2 中有四個是 ZK rollup - 來自 L2 BEAT當今領先的 ZK rollup 是使用 StarkEx 技術(例如 dYdX 和 Loopring)或基于 zkSync 的代碼(例如 zkSync Lite 和 ZKSpace)構建的。然而,還有更多未鏈接到這些技術棧的 ZK rollup 也值得你關注,比如 Aztec Connect。
Polygon正在對zk rollups技術進行性能測試:1月14日消息,Polygon正在對零知識匯總 (zk rollups) 技術進行性能測試。這項名為Polygon zkEVM技術的開發已經由Polygon Hermez團隊進行了三年多。通過在zkEVM測試網的主要版本中生成超過12,000個zk證明,該團隊已經確認零知識證明在以太坊上是可行的。(Cointelegraph)[2023/1/14 11:12:10]
然而,ZK rollup 并不是當代以太坊擴容場景中唯一值得注意的基于 ZK 的解決方案。這里要注意的另外兩種擴展方式是 Validium 和 Volitions。
Validiums 執行鏈下交易并通過鏈下零知識證明維護其數據。這種方法與 ZK rollups 如何將數據分批發送到以太坊上(即將其發布到鏈上)形成對比。那么,數據存儲在哪里是 ZK rollups 和 validiums 之間的關鍵區別。
Validiums 的「雙鏈下」方法使它們最終成為托管的,因為數據由可信方維護。然而,validiums 在無信任方面所缺乏的,它們以出色的性能彌補了這一點,因為當今最強大的 validiums 可以促進 +20,000 TPS。
目前,兩個更知名的 validium 項目是 Immutable X,一個以 NFT 為中心的擴展解決方案,TVL 為 1.23 億美元,以及 Sorare,一個幻想體育數字紙牌游戲,TVL 為 2100 萬美元。目前值得關注的其他驗證包括 ApeX、rhino.fi 和 Myria。
ZKSwap24小時交易筆數超過10萬筆 預計2月初上線以太坊主網:1月18日消息,基于ZK Rollup擴容技術的AMM去中心化交易所ZKSwap過去24小時處理的交易筆數超過10萬筆交易,其中包括47,977筆Layer2的swap交易和61,584筆Layer2到Layer1的提現交易。另外,根據系統在以太坊主網的部署情況,ZKSwap預計會在2月1日至2月8日之間上線以太坊主網。主網上線之后,ZKSwap將會進一步開發分布式的零知識證明網絡和Layer2的隱私支付工具(率先支持USDT的layer2隱私支付)以及隱私兌換協議(所有swap過程全部隱私)以及未來支持ERC-721和NFT token的swap交易。目前ZKSwap部署在以太坊Ropsten測試網上,是一個非常接近以太坊主網的測試網絡。ZKSwap團隊將在1月25號開啟測試網最后一輪活動,將測試流動性挖礦、交易即挖礦和智能合約鎖倉挖礦,以及模擬主網上線的環境和活動。除此之外,ZKSwap開發團隊已經完成了plonk算法的GPU版本的實現,TPS也會有大幅提升,在上線主網的時候也會部署。[2021/1/18 16:27:18]
至于 Volitions,它們是 StarkWare 團隊創造的一項創新,它們是 ZK-rollup 和 validium 之間的交叉。這就是說,只要有意愿,用戶就可以在鏈上和鏈下數據可用性之間進行選擇。這為應用程序提供了 TPS 性能驗證級別的選項,同時仍可與非托管 ZK-rollup 技術互操作。zkSync 的新突破性 zkPorter 機制就是一個值得關注的 volition 系統。
公告 | 路印上線基于zkRollup的最新一代去中心化交易平臺網頁版:路印上線基于zkRollup的最新一代去中心化交易平臺的網頁版,該版本基于路印協議3.1.1,定位為公測Beta1。(路印Loopring)[2020/2/28]
圖片來源:Matter LabszkEVM 作為擴展的圣杯考慮一下 ZK-rollup 的架構如何包含兩個主要組件:接收和跟蹤 L2 區塊數據的鏈上以太坊智能合約,以及作為基于以太坊的交易的執行環境的鏈下虛擬機 (VM)。
那么,zkEVM 是與以太坊虛擬機 (EVM) 兼容的 ZK-rollup,即以太坊 L1 的執行環境。
Polygon zkEVM 的一般擴展方法的圖示在以太坊擴容競賽之初,像 Arbitrum 和 Optimism 這樣的 optimistic rollups 具有巨大的優勢,因為這種風格的 rollups 最初更容易與 EVM 兼容甚至完全等效。這種技術親和力使得應用程序可以輕松地移植他們的代碼,并使用他們最喜歡的從 L1 遷移到 L2 的工具,這是很棒的 UX。
相比之下,ZK 式擴展的特性使得 ZK rollups 從定制的 VM 開始,這意味著項目因此需要更廣泛的工作來「解釋」來自 EVM 的代碼或使用從頭開始編寫的新代碼。不過,截至 2023 年 3 月,多個 ZK rollups 項目現在明顯即將公布他們自己的 zkEVM 實現!
因此,zkEVM 的到來代表著 Vitalik Buterin 的 2021 年預測邁出了重要一步,即「從中長期來看,隨著技術的改進,ZK rollups 將在所有用例中勝出。」由于使用加密證明,ZK rollups 比 optimistic rollups 具有內置的隱私和安全優勢,因此當您將 EVM 兼容性添加到組合中時,ZK rollups 有可能在未來勝過 optimistic rollups。
「擴展戰爭」一詞指的是在 optimistic rollups 和 ZK rollups 團隊之間發生的友好、非正式的競爭,以提供盡可能最好的區塊鏈擴展解決方案。
然而,在 ZK rollups 領域本身還有另一場比賽,這是一場非正式的比賽,看哪個團隊能夠實現 Vitalik Buterin 定義的第一個「1 型(Type 1)」和「2 型(Type 2)」zkEVM。
Buterin 的 zkEVM 類型在 2022 年 8 月的一篇博文中,Buterin 提供了一種衡量 zkEVM 項目能力的方法,方法是提出從 Type 1 到 Type 4 的等級來對它們進行分級。Type 1 zkEVM 將與 EVM 完全等效,甚至可以用于升級以太坊本身,而 Type 4 zkEVM 僅與某些以太坊應用程序兼容。
也就是說,由于涉及的所有工作,Type 1 zkEVM 實現還需要一段時間,但現在有多個項目正在研究 Type 2 zkEVM。
當前主要的 zkEVM 努力丨來源:Immutable X例如,Polygon zkEVM 是 Type 3 zkEVM,并且正在成為 Type 2 zkEVM,即具有一些額外細微差別的 EVM 等價物。Scroll 是另一個著名的團隊,目前正在構建 Type 2 zkEVM。相比之下,zkSync Era(以前稱為 zkSync 2.0)是一種固執己見、有意為之的 Type 4 zkEVM,它通過自定義功能和 zkPorter 令人印象深刻的意志力功能得到增強。相應地,這里的可能性范圍是敞開的。
資料來源:MessariPolygon zkEVM 主網測試版將于 3 月 27 日開始:https://twitter.com/0xPolygon/status/1625529122561597440
zkSync Era 剛剛向建設者推出了主網,普通用戶可用的版本即將到來:https://twitter.com/zksync/status/1626235292268240902?
Scroll 剛剛發布了 Goerli zkEVM 測試網,這是主網上線之前的最后一步:https://twitter.com/Scroll_ZKP/status/1630258973856395264?
Starknet 的 Kakarot zkEVM 已經處于 Type 3 狀態并且正在加速:https://twitter.com/dimahledba/status/1606270836922585098?
終有一天,以太坊本身可能會升級到 Type 1 zkEVM 以進一步進行鏈上擴展。與此同時,作為潛在升級的補充,從 Type 2 到 Type 4 的外部 zkEVM 將繼續蓬勃發展,并為開發人員和用戶提供獨特的定制和 UX 增強,這是以太坊 L1 無法做到的。
總而言之,ZK rollups 空間(也可以說是整個 L2 空間)的最終目標是 zkEVM,而這些努力中的第一個即將到來。2023 年將是日常加密貨幣用戶將能夠首次嘗試 zkEVM 的一年,因此如果你想參與進來,請密切關注 Polygon、zkSync、Starknet 和 Scroll,因為這些團隊的最新擴展進展已付諸實踐!
DeFi之道
個人專欄
閱讀更多
金色財經 善歐巴
金色早8點
Odaily星球日報
歐科云鏈
Arcane Labs
MarsBit
深潮TechFlow
BTCStudy
澎湃新聞
圖片來源:由 Maze AI 生成比特幣市場通常會因為“減半”而出現 4 年漲跌周期,當比特幣短期持有者已實現價格翻轉比特幣已實現價格和長期持有者已實現價格時.
1900/1/1 0:00:00原文來源:Decrypt創作者版稅在 NFT 領域退居二線,因為 NFT 市場 OpenSea 最近放棄 NFT 版稅以應對其新競爭對手 Blur,Blur 在 NFT 交易量方面大幅領先.
1900/1/1 0:00:00撰寫:kydo 編譯:深潮 TechFlow編者注:Eigenlayer 提出的再質押(Re-staking)方案.
1900/1/1 0:00:00作者: 阿法兔2019年,內容專家Natalie Sportelli在Twitter上發起了投票,讓創業公司的創始人們對觸達到的風險投資公司品牌與品牌對創始人的重要性進行排名.
1900/1/1 0:00:00原文:《 Radiant:全鏈貨幣市場》 作者:藍狐筆記 Radiant(RDNT)于 2022 年 7 月份推出,是 Arbitrum 上的原生借貸市場項目。從貨幣市場角度,它們類似.
1900/1/1 0:00:00主持人:David, Bankless嘉賓:Blur 創始人 Paceman編譯:Kxp, BlockBeats自去年年底,Blur 三季空投一直是加密市場追逐的焦點.
1900/1/1 0:00:00