以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

探索Layer2:深入研究zkEVM及zkSync_zkSync:KSY

Author:

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

作者:加密終局

GM anon!

你可能已經聽了很多關于 L2 和 zkEVM 的討論。但它們到底是什么,你為什么應該關注?

讓我們一起探索 L2 和 zkEVM 的加密終局。

以太坊致力于發展以 Rollup 為中心的路線圖,以 L2 解決其可擴展性問題

Danksharding 將完全解放 L2 的潛力,帶來許多機會

盡管技術復雜性較高,但 ZK Rollup 在多方面比 Optimistic Rollup 更好

zkSync Era 是 zkEVM 的先驅之一,已經推出了它的主網。主要的技術亮點包括原生賬戶抽象(native account abstraction)、強大的 LLVM 編譯器、優越的數據壓縮,以及對數據可用性(zkPorter)和可擴展性(ZK Stack)的獨特解決方案

自主網發布以來,zkSync Era 已經看到了強勁的生態系增長:300+ 正在開發的 dapps, 5.6 億美元的 TVL,和來自 126 萬個獨特的存款地址

zkSync Era 擁有強大的生態系資源,自成立以來已募集了 4.58 億美元的資本,并得到許多行業領導者的支持

我們都知道以太坊存在可擴展性的問題—在使用高峰期,它會出現堵塞。最近的一個例子是 2022 年 5 月 1 日 BAYC 的 Otherside 土地銷售,當天 gas 價格被大幅推高,達到了驚人的 78,999 Gwei(熊市通常看到的 gas 價格為 20-30 Gwei),很多人支付了超過 3 個 ETH 才能鑄造他們的土地。

問題的核心在于以太坊有限的區塊空間(block space),這些區塊空間以「gas」為單位來衡量。需要更多計算能力才能執行的交易需要更多的 gas,而 gas 通過以太坊網絡設定的動態費率及基礎費用轉化為 ETH。

目前,每個以太坊區塊最大為 3000 萬 gas。雖然這個最大限制確保區塊可以更快的被打包并廣播,但也限制了交易的數量和復雜性。

以太坊曾試圖用分片(我們稱之為分片 1.0)來解決其可擴展性問題,將以太坊轉變為 64 個并行處理的分片,就像 64 條鏈同時執行區塊一樣。

但是,這種設計引入了不必要的復雜性—每個分片都有獨立的提議者(proposer)和委員會(committee),導致了較差的用戶體驗和潛在的攻擊點。

網易:具備探索元宇宙所需要的技術儲備:12月3日,網易星球在其官方公號表示,通過循序漸進地布局區塊鏈技術,網易已經在身份認證、價值認證等方面取得了一些成果,并展開了落地應用,具備了探索元宇宙所需要的技術儲備。[2021/12/3 12:49:11]

由于 Layer 2 解決方案的興起,以太坊轉向了以 rollup 為中心的路線圖以改善可擴展性。此外,以太坊研究員 Dankrad 提出了一種新的分片設計,被稱之為 Danksharding,它將進一步解放 Layer 2 rollup 的潛力。

以太坊放棄原來的 64 個分片設計,現在將交易卸載到 Layer 2,讓 Layer 1 主鏈專注于確保 L2 的數據可用性(data availability),從而解決了有限的區塊空間問題。

這就是為什么最近 L2 一直備受關注 — 它對于以太坊的可擴展性解決方案至關重要,同時保持了去中心化和安全性。

隨著以太坊全面實施 danksharding,它將解放 L2 的全部潛力,并為行業提供許多機會。

L2 解決方案,本質上是增強以太坊可擴展性的解決方案,可以大致分為四個類別:

數據上鏈 vs 鏈下數據

雖然 L2 解決方案是以太坊的「第二層」,但它仍然是一個獨立的區塊鏈。如果 L2 上的狀態改變數據并未存儲在 L1 鏈上,數據就無法被驗證,我們則必須「信任」L2 節點有以誠信行事,因此這不是最理想的去中心化機制。

若將數據存儲在鏈上,則 L2 上的狀態可以被驗證,這種解決方案被稱為 rollup,是更佳的去中心化方案,因此近年來引起了社群的關注。

為了避免花太多時間探討過于艱澀的技術問題,我們不會深入到 ZK(零知識)背后的 SNARKs & STARKs 技術。

簡單來說,ZK證明使Bob能夠說服Alice一個聲明是真實的,而不需要透露除了聲明以外的任何額外信息。

想象一下,Bob向一位紅綠色盲Alice展示他能夠區分紅球和綠球。Alice可以標記兩個球的顏色,并將兩顆球在背后互換。若Bob每次都能正確識別顏色,這證明他確實能夠看出差異。

欺詐證明(Fraud Proofs)則是被用于optimistic rollup。欺詐證明先假設一個聲明是真的,除非在一定的時間內被挑戰和推翻。

WhyLab探索實驗室Shawn:IPFS+Filecoin有望成為Web3.0的基石和基建:金色財經現場報道,4月23日,數御未來——2021數據與存儲產業峰會在成都舉辦。在會議現場,WhyLab探索實驗室聯合發起人Shawn以《數據的回歸和解放》為題進行分享。他表示,現在的互聯網Web2.0問題是信息孤島數據自閉,下一步Web3.0要實現智能網絡數字化生存,

區塊鏈是Web2.0到Web3.0最重要的基建。數據是信息時代最重要的生產資料,數據面臨的核心障礙是生產關系問題。Web2.0到Web3.0的障礙是信息不能自由流動、充分共享。無論互聯網,還是區塊鏈,無論存儲、計算還是傳輸,一切圍繞數據展開。信息不能自由流動是技術問題,信息不能充分共享是關系問題,IPFS+Filecoin的結合,有望成為Web3.0的基石和基建。任何信息產業的落地應用,都是以場景數據為前提,區塊鏈連非交易性數據的問題都沒解決,沒有落地應用很正常,IPFS和Filecoin的去中心存儲系統,提供了場景數據的棲身之地,后面的落地應用才有可能展開。[2021/4/23 20:51:03]

如果我們比較兩個技術,為什么ZK rollup近期開始受到大量的關注?

顯著縮短的資金提現周期。由于欺詐證明有7天的挑戰期,Optimistic rollup(例如 Arbitrum、Optimism)提現需要等待7天才算完成。相反,ZK rollup可以迅速處理提款,因為一旦計算出有效證明(validity proof)并提供給L1,提款就被認為是有效的

成本效率。Optimistic rollup 需要所有 L2 交易被壓縮并提交到 L1 上以便后續驗證,而 ZK rollup 只需要發布跟計算 L2 狀態的相關交易,使 ZK rollup 顯著更具成本效益。換句話說,Optimistic rollup 上的更多交易會導致更高的成本,但由于 ZK rollup 的證明生成和批量交易發布的成本是固定的,因此在實現一定網絡效應后,ZK rollup 的使用上會更便宜

超級可擴展性(hyper-scalability)。Optimistic rollup 無法超出當前可擴展性的天花板。然而,ZK rollup 可以使用 ZK 證明潛在地提高它們的可擴展性到 L3 甚至 L4

ZK rollup 和 L1 之間的同步。通過零知識證明,ZK rollup 可達到即時最終性(instant finality),這讓 ZK rollup 和 L1 以太坊執行之間進行同步調用變為可能性。這為許多令人興奮的設計開啟了可能性,比如共享 L1/L2 流動性(例如,dAMM)

《數字金融消費者權益保護實踐與探索》正式發布:12月24日,中國互聯網金融協會舉行研討會,發布《數字金融消費者權益保護實踐與探索》一書。

該書提出,在經濟金融數字化轉型按下快捷鍵的時代背景下,加強數字金融消費者權益保護工作,是貫徹落實以人民為中心發展思想的必然要求,是促進數字金融行業規范健康可持續發展的迫切需要,對建設現代化金融體系、維護金融安全與穩定、促進金融公平與包容性增長具有重要的現實意義(中新網)[2020/12/25 16:27:37]

盡管 ZK rollup 擁有巨大的潛力,但其生態系的增長卻受到了該技術的復雜性以及 EVM 兼容性問題的阻礙。因此有了 zkEVM 的開發—一種旨在使 ZK rollup 與 Ethereum 的智能合約兼容的解決方案。

2023 年 3 月對 zkEVM 來說是一個重要的里程碑,包括 Scroll,Immutable,Taiko,zkSync,Polygon zkEVM 和 Linea 在內的多個參與者宣布了重大的進步和令人興奮的新聞。

在這些項目中,zkSync 已經啟動了其主網,并實現顯著的成長,標志著 zkEVM 領域的重大進步。

zkSync 是由 Matter Labs 團隊開發的 ZK rollup 解決方案。

Matter Labs 由 Alex Gluchowski 和 Alex Vlasov 在 2018 年創立,最初啟動的是在 2020 年 12 月的 zkSync Lite(也被稱為 zkSync 1.0)。這是一個為支付設計的簡單 ZK rollup。

在 2021 年,他們向世界介紹了「zkEVM」的概念,并在 2023 年 3 月成功地推出了他們的 zkEVM 主網, zkSync Era?(也被稱為 zkSync 2.0)。

自從它的誕生以來,zkSync Era 在跨鏈資產和用戶數量方面展示了顯著的增長。

那么,是什么使 zkSync Era 獨樹一幟呢?讓我們深入了解其技術亮點。

原生賬戶抽象(account abstraction)。正如我們在過去的研究報告中中所述,賬戶抽象和智能合約錢包對于區塊鏈走入主流市場至關重要,人們不再需要紀錄復雜的 seed phrase,并實現用任何代幣支付 gas 費用、自動 / 批量交易和費用補貼等功能。雖然 Ethereum 已部分實現了 ERC-4337 以進行賬戶抽象,但 zkSync Era 通過其自己的虛擬機(virtual machine)從一開始就支持了賬戶抽象

洋山特殊綜保區88條:探索基于區塊鏈等技術的大宗商品倉單質押融資:6月2日,上海自貿區臨港新片區管委會與人民銀行上海總部、上海海事局、上海出入境邊防檢查總站聯合發布《關于促進洋山特殊綜合保稅區對外開放與創新發展的若干意見》,88條意見推動洋山特殊綜合保稅區建設成為具有全球示范意義的國際投資貿易服務自由化便利化一體化的最佳實踐區。意見指出,支持金融機構運用一體化信息管理服務平臺的增信功能,探索基于區塊鏈等技術的大宗商品倉單質押融資、供應鏈金融等業務和監管創新。(澎湃新聞)[2020/6/2]

強大的 LLVM 編譯器。 zkSync Era 并沒有尋求與 EVM-equivalence,而是優化了其內部虛擬機以提高 ZK 的性能。然而,這并不意味著在開發環境上進行妥協。 zkSync Era 已大力投資構建了第一個基于 LLVM 的編譯器,以盡可能簡化開發者的任務。 LLVM 編譯器被設計用于 EVM 語言(Solidity、Vyper、Yul),最終將支持其他語言,如 C++ 和 Rust

優越的數據壓縮。與其他將整個交易歷史發布在 L2 的 rollup 不同,zkSync Era 只發布狀態變化,從而減少了對區塊空間的需求,相應地也減少了數據可用性的成本。此外,Optimistic Rollup 在交易激增時將面臨高昂的 gas 費用(因為它們必須將所有交易發布在 L1 上),zkSync 則沒有這個問題,因為它只需發布狀態變化而用披露所有交易

除了以上的關鍵技術亮點外,zkSync 也在數據可用性(通過 zkPorter)和可擴展性(通過 ZK Stack)方面提供了獨特的解決方案,我們稍后會進行介紹。

但首先,讓我們看一下在 zkSync 上交易是如何完成的。

在 zkSync Era 中,交易過程包含了幾個關鍵步驟。以下是是簡化的流程概覽:

用戶在 L2 上啟動交易

運營商(operator)處理這些交易,將它們在 L2 上整合成區塊

運營商將幾個 L2 區塊分組成一個批次(batch),并將其發布在 L1 上

運營商為這些交易計算出一個 ZK 證明,并將此證明提交給 L1 智能合約

一旦驗證了該 ZK 證明,交易就被視為最終確定,狀態更改在 L1 上被執行及接受

這里要注意的一個關鍵是 L2 交易在 L1 上能很快被確認。一旦 ZK 證明被提交并驗證后,交易就達到了最終狀態。

如我們前面所述,未來 Ethereum L1 的角色將是確保 L2 的數據可用性。然而,L1 上有限的區塊空間對 L2 的吞吐量構成了瓶頸。

蜘蛛礦池陳華:礦機和BTC質押借貸的探索及實踐:2020年5月23日,由百團大戰、節點咨詢、金色財經主辦,萊比特、算力360聯合主辦的百團大戰礦業峰會·豐水期之戰在成都開幕。

在會上,嘉賓蜘蛛礦池創始人陳華表示,蜘蛛礦池針對持有BTC或礦機,并且有現金需求的用戶推出BTC與礦機質押借貸業務,并在常規的質押借貸的規則中解決用戶體驗的核心痛點,升級推出帶“保險”的BTC質押借貸,輔以期權工具的質押模式,優勢在于:質押率更高、安全性更高、低成本、靈活性。并在不斷探索更多可能的同時,期待能與更多行業伙伴合作,共同體驗和見證區塊鏈和數字貨幣改變投資邏輯及生活環境的未來。[2020/5/24]

為了應對這個挑戰,Matter Labs 在 2021 年 4 月提出了一個鏈下的數據可用性解決方案,名為 zkPorter。

zkPorter 背后的概念很簡單。 Matter Labs 建議創建一個叫做 zkPorter 的獨立鏈,而不是將所有 L2 數據發布在 L1 上,因為這會在 L1 產生額外的 gas 費用,且受到 L1 的區塊空間限制。

這條鏈將會管理數據,顯著降低交易成本并提高交易吞吐量。另外,zkPorter 上的賬戶可以與 zkSync Era 上的賬戶或合約無縫交互,進一步提升用戶體驗。

但是,如果我們將數據保留在鏈下,我們如何確保數據可用性呢?

Matter Labs 建議使用一個基于證明權益(PoS)系統和 zkSync 代幣(表示如果 Matter Labs 推出 zkPorter 就很有可能會發布治理代幣,這也是為什么整個社群都在猜測 zkSync 將會空投)來管理這個機制。

zkSync 代幣持有者可以抵押他們的代幣成為守護者(Guardians)。這些守護者監視 zkPorter 的狀態,簽名區塊以確認 zkPorter 賬戶的數據可用性。任何數據驗證的失敗都會導致守護者被處罰,激勵他們持續保持可靠的數據可用性。

你可能會問 - 這個機制安全嗎?

雖然 zkPorter 的安全性不如 L1 強大(因為它依賴額外的 PoS 機制以及守護者進行數據可用性確認),但它仍然提供足夠的安全措施,因為(1)rollup 方面保持了與 L1 相同級別的安全性,和(2)zkPorter 的安全性超過了其他 PoS 系統,因為守護者不能挪用資金 - 他們只能凍結 zkPorter 的狀態,使其對潛在的攻擊者的吸引力降低。

另外,用戶可以選擇將他們的數據完全保留在 L1 鏈上,不參與 zkPorter。

預計 zkPorter 的實施將進一步提升 zkSync Era 的可擴展性。

zkSync 欲一統 zkEVM 江湖的野心 - ZK Stack

2023年6月26日,zkSync 宣布推出了 ZK Stack,試圖創建最強大的ZK生態系。

ZK Stack 主要提供 2 個核心功能:

Hyperchains。通過其開源的模塊化框架,ZK Stack 讓開發者可以便捷地根據 zkSync Era 的代碼 構建自定義的 ZK L2/L3(稱為 Hyperchain)。

Hyperbridges。所有的 Hyperchain 通過 Hyperbridge 互相串聯,創建一個強大的生態系。

我們知道,「橋」這個詞聽起來很可怕且脆弱,但是與其他橋的設計不同,Hyperbridge 由 ZK 證明驅動,以無需信任的方式保證其安全。 

怎么做到的呢?與其依賴中間件進行跨鏈訊息傳遞,我們發起跨鏈交易的源鏈的狀態改變包含在 ZK 證明中,這對于目標鏈來說已經足夠進行無信任驗證。

一個將代幣從 L3 跨鏈到 L2 的簡化示例如下:

在 Hyperchain C(L3)上發起一筆跨鏈交易,代幣因此被銷毀。包含該鏈狀態改變的 ZK 證明被提交給 Hyperchain A(L2)

L2 也將其狀態改變 ZK 證明提交給 L1

考慮到 Hyperchain B(L2)可以訪問 L1 的哈希(Hash),它可以驗證 ZK 證明,從而確認在 Hyperchain C上已經銷毀了代幣。因此新的代幣在 Hyperchain B 上被鑄造

Hyperchain B 將狀態改變的 ZK 證明提交給 L1,供未來參考。

ZK Stack 使開發者可以輕松地構建自己的 Hyperchain,聚集強大的生態系,并通過其原生的賬戶抽象化功能提供優秀的用戶體驗,且成本低廉。

復雜的技術細節就說到這里,我們現在來看看 zkSync 的生態系和資源。

評估一個 L2 鏈的實力需要了解其生態系:

zkSync Era 擁有一個 強大的生態系,已經有 300+ 的 dApps 在其上構建。

根據 L2BEAT,截至 2023 年 7 月 16 日,自從 2023 年 3 月 24 日 alpha 版本啟動以來,TVL 已經顯著增長至 5.6 億美元。重要的是,這種增長是由于真實的 ETH 需求,而不僅僅是代幣升值。它是目前在 TVL 方面排名第三的 L2,也是最大的 ZK rollup

截至 2023 年 7 月 16 日,它已經吸引了總共 126 萬的存款地址。 (Dune @tomwanhh)

通過一系列的融資,Matter Labs 已經籌集了總共 4.58 億美元,包括與 BitDAO 合作的 2 億美元生態系基金,以及來自各種投資者的 2.58 億美元資本。這個巨大的資本儲備使 Matter Labs 能夠激勵早期的開發者和使用者。

Matter Labs 得到了包括 Blockchain Capital, Dragonfly, Lightspeed, a16z, 1kx, Crypto.com, Consensys, ByBit, OKEx 以及 AAVE, Paraswap, Lido, Gnosis, Aragon 等許多其他創始人和領導者的支持。

值得注意的是,Polygon zkEVM 是另一個已經推出主網的 zkEVM。

雖然兩者都是 ZK rollups/zkEVMs 并計劃引入一個獨立的數據可用性鏈,但在技術和生態系方面存在重要的差異值得探討。

Vitalik 之前已經定義了 4 個層級的 EVM 兼容性:共識級別兼容(類型1),完全 Bytecode 級別兼容(類型2),部分 Bytecode 級別兼容(類型3),以及語言級別兼容(類型4)。

Polygon zkEVM 采用部分 Bytecode 兼容(類型3),使得大部分的基礎設施可以直接應用到 L2,并確保與大多數以太坊應用完全兼容。

另一方面,zkSync Era 在語言級別兼容(類型4)上運作。它采用了 LLVM 編譯器將 Solidity 代碼轉化為與他們的虛擬機兼容的 zkSync 自定義 bytecode。權衡的是,雖然 zkSync Era 不是以太坊 bytecode 兼容的,但它的 bytecode 被優化為有效生成 ZK 證明,從而導致更短的證明時間,并且要成為 zkSync Era 上的證明者的要求比 Polygon zkEVM 更低。

通過其獨特的虛擬機,zkSync Era 原生支持賬戶抽象,而 Polygon zkEVM 只能通過以太坊 ERC-4337 升級后才支持。

zkSync Era 使用 SNARK 生成證明,與 Polygon zkEVM 的 STARK 使用形成對比。

自從 2023 年 3 月啟動以來,zkSync Era 快速積累了顯著的 5.6 M 美元 TVL 和總計 126 萬的存款者。這可能可以歸因于用戶對 zkSync 代幣空投的期待,例如 zkPorter 中的 Guardian PoS 設計。

相反,預計 Polygon zkEVM 將由 $MATIC 進行治理。

鑒于以太坊的 Rollup-centric 路線圖和 danksharding 的實施,我們對 L2 的發展持樂觀態度。

在 L2 解決方案中,我們認為 ZK rollups 持有顯著的潛力,這得益于 ZK 證明設計帶來的好處。

作為推出 zkEVM 主網的領導者之一,zkSync Era 開局良好,增長勢頭強勁,絕對是值得我們關注的有前途的 zkEVM。

未來,我們應該密切關注其原生賬戶抽象的性能、使用 LLVM-編譯器的開發環境、成本效率以及其zkPorter 和 ZK Stack 的未來發展。

金色財經

企業專欄

閱讀更多

Foresight News

金色財經 Jason.

白話區塊鏈

金色早8點

LD Capital

-R3PO

MarsBit

深潮TechFlow

Tags:KSYSYNzkSyncZKSzksync幣合法嗎zksync幣與zks幣zks幣適合長期持有嗎

比特幣價格
2023年中開發者報告:開發者數量較去年下降22% 新人開發者近半數離場_區塊鏈:h5bitmartnews

作者:Electric Capital;編譯:Felix, PANews截至2023年6月1日,每月有2.13萬名活躍的開源開發者。自2022年6月1日以來,開發者的數量同比下降了22%.

1900/1/1 0:00:00
詳解去中心化訂單簿:定價質量和資金安全的最佳結合_AMM:EMI

撰寫:ELLA、KEONE  編譯:深潮 TechFlow自從 DeFi Summer 的鼎盛時期以來.

1900/1/1 0:00:00
日本區塊鏈協會針對加密稅制修改建議的看法_NBS:加密貨幣市場總市值多少億

作者:TaxDAO 據吳說報道,以 Yuzo Kano 為代表的日本區塊鏈協會 28 日向政府提交了修改加密資產稅收制度的請求,本?將提供?些看法供參考.

1900/1/1 0:00:00
加密監管分水嶺?解讀Ripple案判決及其后續影響_SEC:ripple

作者:David,LBank 法務部2023 年 7 月 13 日,紐約南區法院(Southern District of New York)就 SEC 訴 Ripple Labs 及其高管一案.

1900/1/1 0:00:00
Ripple SEC案裁決:加密行業向前邁出的一大步_ripple:PPL

作者:ANDREW ST. LAURENT,blockworks 編譯:善歐巴,金色財經最近 SEC 訴 Ripple Labs 案的裁決被認為是加密行業向前邁出的一大步.

1900/1/1 0:00:00
Web3 游戲如何打破困境?這 3 個方向值得關注_NFT:CAP

編譯:區塊鏈騎士 很難說我們已經來到了 Web3 游戲的轉折點,活躍錢包的數量仍然少于一款普通的手機游戲,更不用說真正的人類玩家了.

1900/1/1 0:00:00
ads