天天看點

一文讀懂 ZK 子產品化新星 Lumoz

作者:MarsBit

原文作者:Wilson Lee

原文來源:「Biteye」社群

01導讀

随着子產品化區塊鍊對 L2 的快速滲透、各類 RaaS 工具的成熟,以及坎昆更新的實施,L2 的建構門檻被大幅度降低,技術不再是建構 Rollup 的主要障礙。

此外,Base、Manta Pacific、Blast 等新興 Rollup 通過采用現有工具低成本建構 Rollup,并将項目重點轉向生态,獲得了快速崛起,這為市場樹立了标杆性的打法。傳統應用轉型 L2,以及各類輕量 L2 的爆發似乎已經成為不可逆轉的趨勢。

在 Rollup 的技術路線方面,早有 OP 和 ZK 之争,Vitalik 曾多次表示“短期 OP,長期 ZK”的觀點,因為 ZK-Rollup 在技術方面還有許多問題尚待解決。

随着技術的進步,ZK-Rollup 相關的基礎設施建設也愈發成熟,采用 ZK 方案的 Rollup 極有可能在未來的 L2 井噴中占據重要的市場佔有率。Lumoz 作為領先的專注于 ZK 的 RaaS,有巨大潛力在不久的将來取得成功。

02ZK-Rollup 的瓶頸

2.1 子產品化視角下的 Rollup

關于 OP-Rollup 和 ZK-Rollup 的基礎原理可能讀者已經較為清楚,這裡将從子產品化的視角來再次了解 Rollup。

Rollup 本質上是通過子產品化的分工實作資源的最優配置,讓不同的參與方能夠專注承擔一種任務,進而提高整體的效率。

以太坊的子產品化構成可以簡單拆解成:資料可用性層 DA、共識層 Consensus、結算層 Settlement、執行層 Execution。

執行層 Execution

提供執行環境來計算交易,将舊的狀态轉換為新的狀态,向結算層送出新狀态,以及欺詐/有效性證明。

執行層内部還可以進一步分工為 Sequencer 和 Prover,Sequencer 負責計算狀态轉換,而 Prover 負責生成證明(尤其是ZK-Rollup,因為生成證明的計算類型和開銷對硬體有一定要求)。

結算層 Settlement

驗證執行層計算的狀态轉換的正确性。一般是部署在 Layer1 上的智能合約,負責驗證執行層的計算;通過驗證的 Rollup 區塊的狀态哈希将被被記錄在鍊上,此時這個由 Rollup 産生的區塊獲得了最終确定性 Finality。

對于 ZK-Rollup來說,該合約寫入了對特定 ZK-Rollup 送出的 ZK Proof 的驗證算法,ZK-Rollup 完成執行後向合約遞交狀态哈希和 ZKP,觸發驗證交易,當驗證通過時,該狀态哈希被證明有效,該區塊獲得 Finality。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://docs.theradius.xyz/overview/introduction-to-radius)

共識層 Consensus

共識層在絕大部分情況中是 Layer1 承擔,被共識層驗證過的狀态哈希被記錄在鍊上,對應的 Rollup 上的交易區塊獲得了 Layer1 保護的安全性。

資料可用性層 DA

儲存 Rollup 區塊内的交易資料,并提供給任何人,讓其随時能夠重建 Rollup 的交易。DA 層可以是 Layer1,也可以是 Celestia、EigenDA 等的專用 DA 層,或者是較為中心化的資料可用性委員會,等等。

2.2 ZK-Rollup 普及面臨的難題

雖然 ZK-Rollup 具有諸多優點,并被 Vitalik 看作長期的以太坊擴容方案,但其面臨的諸多技術難題限制了現階段的大規模采用。

如計算 ZKP 的成本過于高昂、zkEVM 過于複雜、ZKP 計算對硬體要求高可能導緻中心化,等等。

計算 ZKP 的成本高昂

ZKP 計算密集。以最流行的 ZK 算法 zk-SNARKs 為例,ZKP 的生産實際上是把程式的執行過程轉換成一個可以驗證的命題。

這個命題會被抽象為一個多項式方程組,為了證明程式執行的正确性(多項式的解存在),需要在橢圓曲線上進行配對操作(pairing operations)。

多項式的生成和橢圓曲線配對是非常計算密集型的,因為它們需要處理大量的代數運算。

硬體要求與執行時間方面,這種計算複雜性導緻了高昂的硬體要求。普通硬體可能難以在合理的時間内完成這些計算,尤其是當處理大量交易時。

生成一個 zk-SNARK 證明的時間,比執行原始程式(不包括證明過程)的時間要長得多。根據不同的實作和交易複雜性,生成證明的時間可能是原始計算時間的數百到數千倍。

ZKP 計算對硬體要求高可能導緻中心化

由于ZKP的計算成本和硬體要求高,小規模的 Rollup 營運商可能難以承擔必要的投資來成為證明者(Prover)。

這種情況下,隻有少數擁有高性能計算資源的參與者能夠有效地生成證明,進而導緻 ZK-Rollup 中的中心化趨勢。這種中心化可能與區塊鍊的去中心化精神相悖,且可能引入單點故障和審查的風險。

zkEVM 過于複雜

設計相容性方面,EVM 設計之初并未考慮相容零知識證明技術。EVM 是基于堆棧的虛拟機,支援一系列操作碼(opcode),用于執行智能合約。

為了使 EVM 執行的任意程式都能通過 zk-SNARKs 生成有效證明,需要對EVM 的每個操作碼都建立相應的數學表示和證明邏輯。這不僅需要複雜的密碼學轉換,而且對現有智能合約的相容性提出了挑戰。

實作 zkEVM 需要對 EVM 操作碼進行大量的數學模組化,将程式執行轉換為可以通過 zk-SNARKs 證明的形式。

這包括模拟 EVM 的狀态轉換、記憶體操作、以及合約調用等過程。考慮到 EVM 的靈活性和複雜性,這項任務極其艱巨。同時,保持 zkEVM 的效率和安全性,確定它能生成小型、可驗證的證明,也是一大挑戰。

03Lumoz 如何解決 ZK-Rollup 的普及瓶頸

Lumoz 是一個去中心化的 ZK-RaaS(ZK-Rollup作為服務)平台,同時也是一個PoW(工作量證明)網絡,用于支援ZKP(零知識證明)挖礦。

為了解決 ZK-Rollup 面臨的一系列挑戰,Lumoz 引入了 ZK-RaaS 的概念。該服務使開發者能夠在一分鐘内啟動他們的zkEVM鍊,無需詳細了解ZK或鍊節點。

Lumoz 還引入了 ZK-PoW 的概念,邀請礦工參與維護 zkEVM 并計算 ZKP。Lumoz 的目标是簡化 ZK-Rollup 的使用,并促進其更廣泛的采用,進而促進基于 zkEVM 的應用鍊的大規模部署。

開發者可以通過單擊一次按鈕在多個鍊上部署他們的 ZK-Rollup(zkEVM)。對于礦工來說,Lumoz 作為一個多鍊 PoW 協定,支援在各種公鍊上進行 ZK 挖礦并為 ZK-Rollup 生成零知識證明。

3.1 ZK-PoW 雲:解決 ZK 算力與中心化問題

ZK 算力與中心化的問題本質上是 ZKP 計算對算力要求高,硬體門檻又進而導緻了中心化問題。

Lumoz 利用 ZK-PoW機制激勵礦工提供 ZKP 計算能力,為 ZK-Rollup 提供全面的硬體基礎設施,這是 Lumoz 的核心理念之一。

所有參與者,包括使用者、開發者和礦工,都可以從 Lumoz 的經濟模型中獲益,助力 ZK-Rollup 的大規模應用。

Lumoz 對現有硬體資源的利用

在從以太坊 PoW 過渡到 PoS 之後,許多以太坊挖礦機失去了應用場景。這些挖礦機的價值在資本規模上約為 120 億美元,目前有很多處于閑置狀态。随着 ZK-Rollup 的大規模實施,生成 ZKP需要大量的硬體和挖礦機,如 CPU、GPU 和 FPGA,提供計算能力。

Lumoz 優化的 ZKP 算法,降低礦工參與門檻,提高擴容效率

  • 提出 ZKP 驗證的兩步送出機制,降低礦工參與門檻

為了鼓勵更多的礦工同時參與 ZKP 計算任務,Lumoz 提出了 ZKP 驗證的兩步送出機制。

送出 proofhash:在一定的時間範圍内,多個礦工可以參與 ZKP 的計算,而不是讓最先計算出 ZKP 的礦工立刻獲得獎勵。這種設計允許更廣泛的參與,不僅限于計算能力最強的礦工。礦工在完成 ZKP 的計算後,不會立即送出他們計算出來的原始證明,而是先對這個證明以及他們自己的位址(proof/address)進行哈希處理,生成一個稱為 proofhash 的哈希值。然後,他們将這個 proofhash 送出到區塊鍊上的一個特定合約中,這個步驟不需要透露證明的具體内容,保證了送出過程的安全性和效率,也能夠讓更多礦工能夠參與到計算中。

送出 ZKP:時間範圍結束後,礦工送出原始證明并與先前送出的 proofhash 進行對比驗證,這一步驟確定了送出的證明是在第一步驟中聲明的那個證明,防止了作弊行為。通過此驗證的礦工将獲得 PoW 獎勵,獎勵數量根據礦工的權益進行配置設定,并非隻有最先計算出 ZKP 的礦工獲得獎勵。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://docs.lumoz.org/v/zhong-wen-jian-ti/lumoz-bai-pi-shu-v2)

  • 優化 ZKP 生成算法,提高證明效率

當 Rollup 智能合約驗證 ZKP 時,如果送出原始證明,可能會引發鍊上攻擊。為了避免此類攻擊,ZK-Rollup 經常執行額外的操作以模糊原始證明資料。Lumoz 針對 ZKP 的創新的兩步送出算法采用了“先送出,後驗證”的方法,規避了對證明和位址進行不必要的聚合計算。

在一些開源的 zkEVM 中,ZKP 的計算和送出是順序進行的。當 ZK-Rollup 送出大量序列時,這可能成為瓶頸,因為礦工無法并行計算多個 ZKP。Lumoz 的兩步送出算法實作了 ZKP 的并行計算和順序送出,使礦工能夠同時執行多個 ZKP 生成任務,顯著提高了ZKP生成效率。

Lumoz 團隊還改進了 ZKP 遞歸聚合算法,顯著提高了叢集中機器資源的使用率,進一步加快了 ZKP 計算。在實際環境中進行的壓力測試顯示,使用一個由 20 台機器組成的機器叢集(每台機器配備 128 核 CPU 和 1TB 記憶體),可以在約 40 分鐘内維持 27.8 個交易每秒的速率。在類似條件下,Lumoz 成功将平均交易确認時間從大約 5-6 分鐘縮短到約 3 分鐘,将 ZKP 生成效率提高了約 80%。

随着越來越多的 ZK-Rollup 和礦工的參與,ZKP 計算能力市場的需求和供應規模将繼續擴大,使 Lumoz 的 PoW 算法所提供的效率改進越發顯著。

3.2 ZK-RaaS:解決開發門檻

一鍵生成 ZK-Rollup

Lumoz 提供的 ZK-RaaS(ZK-Rollup作為服務)為所有使用者提供一鍵式的ZK-Rollup生成服務。

Lumoz提供了一個通用的 ZK-Rollup 發射台,使開發者能夠輕松地将不同類型的ZK-Rollup部署到不同的基礎鍊上。

這些基礎鍊包括以太坊、Lumoz 鍊、BNB 鍊、Polygon PoS 和其他公鍊。

ZK-Rollup(zkEVM)的類型包括zkSync、Polygon zkEVM、Scroll、StarkNet和其他zkEVM,以及其他各種ZK-Rollup。

便捷管理 ZK-Rollup

Lumoz 在每個基礎鍊上部署了一個 Rollup 系統合約(RSC),用于管理該鍊上 Rollup 的生命周期,包括注冊、暫停和撤銷。

通過使用一定數量的 MOZ(Lumoz原生代币)租賃一個 Rollup 槽位,開發者可以擁有一個 ZK-Rollup。

Rollup 槽位的概念類似于Polkadot中的槽位或 Cosmos 中的應用鍊。然而,Cosmos 的應用鍊需要維護自己的共識層和跨鍊橋接,存在較大的安全風險。相反,ZK-Rollup 應用了 ZK 技術,通過數學方法確定 Rollup 與基礎鍊之間的共識和資料可用性層的共享。這種方法更安全、更去中心化,并且維護成本更低。

租賃 Rollup 槽位後,開發者獲得了一個獨立的執行環境,可以擁有一個獨特的 ZK-Rollup 鍊。開發者可以完全控制 ZK-Rollup,并自定義其經濟模型,包括選擇 GAS 代币。他們可以自由調整 GAS 費用,甚至可以将其設定為零,進而使使用者免費使用。

成本低廉

開發者無需承擔任何硬體成本。所有硬體資源,如資料可用性、序列化器和 ZKP 計算能力,都由Lumoz ZK-PoW 雲提供并去中心化。

互操作性

不同基礎鍊上的不同 ZK-Rollup 之間可以實作本地的跨Rollup通信。這是一種消息通信機制,使一個Rollup 上的位址能夠直接與另一個 Rollup 上的合約進行互動。這個功能極大地解決了使用者資産的碎片化問題,并增強了應用之間的互操作性。

3.3 Lumoz 鍊:進一步優化基于 Lumoz 建構的 ZK-Rollup

Lumoz 鍊是 Lumoz 支援的基礎鍊之一,采用 PoS 和 PoW 的混合共識模型,不僅支援 Lumoz ZK-PoW 雲,還為 ZK-Rollup 提供進一步的優化。

對 ZK-Rollup 性能的優化

這些優化包括使用預編譯合約加速 ZKP 驗證、資料分片支援以及基于 ETH 2.0 的 PoS 共識。未來還将擴充支援 EIP-4844、DankSharding 和其他完全分片解決方案,可能将 Rollup 的 GAS 成本降低到接近零。

一種去中心化 Sequencer 的方案

讓 Lumoz 鍊的區塊提議者同時為 Rollup 層提議區塊,進而有效地分離了建構者和提議者的角色。

建構者通過無許可的 P2P 網絡獲得支援,而提議者則依賴于 Lumoz 鍊的區塊提議者。這種方法消除了單個節點的可用性風險,同時保持對Miner Extractable Value(MEV)和審查制度的抵抗力。

Lumoz鍊提供了一個标準化的去中心化序列化機制,其中區塊提議者還為Rollup提議區塊。通過這種方式,ZK-Rollup不僅繼承了來自更高層的安全性,還繼承了其分散化程度。

在Lumoz鍊中:Lumoz 允許持有 Lumoz 代币的任何人成為驗證者,驗證者可以從Lumoz鍊中獲得區塊獎勵和瓦斯費用。

在Rollup層中:

PoS(序列化器):驗證者在 Lumoz 鍊和 Rollup層(即資料批次)中提議區塊。是以,他們也充當Rollup 層中的排序器,在那裡他們可以從交易中獲得 GAS 費用。

PoW(證明者):任何具備足夠計算能力進行 ZKP 計算的個人都可以成為 Rollup 層中的證明者。根據PoW 規則,證明者從序列化器送出的 Rollup 層區塊中生成zk證明。

ZK-Rollup 類似于一台計算機,硬碟代表 PoS 提供的資料可用性,而 CPU 則反映了 PoW 授予的計算能力。

Lumoz鍊的任務是在 PoS 和 PoW 之間取得平衡,使所有參與方能夠最大程度地發揮貢獻和獲益,進而提高大規模 ZK-Rollup 網絡的性能和使用者體驗。

04市場格局與 Lumoz 獨特的切入點

放眼 RaaS 和子產品化賽道,目前的市場競争已經趨于白熱化。結算層已經是屬于 ETH、Optimism、Arbitrum 等大玩家的遊戲;

互操作性則有 Mini Bridge、Orbiter、Connext 等資産跨鍊橋,以及 Layzero、Chainlink CCIP 等跨鍊通信項目;

DA 層已經被 Celestia、EigenDA 等項目占據絕對的市場位置;Rollup 堆棧層面,大部分 Rollup 項目,甚至是 RaaS 提供商都嚴重依賴 Optimism、Arbitrum、Polygon、zkSync 等 L2 提供的開發套件,這也導緻了純做開發工具的 RaaS 項目的同質化;

在去中心化排序器層面,也有 Altlayer、Espresso 等新銳項目取得了先發優勢。

同質化和寡頭化,是 RaaS 和子產品化賽道較為明顯的特征。新項目破局,需要有獨特的切入點和前瞻性的布局。

Lumoz 推出的算力子產品和 RaaS 的組合拳能夠一站式解決 ZK-Rollup 的一系列痛點,助推 ZK-Rollup 的快速普及。

目前,在 ZK-Rollup RaaS 的細分領域中,Lumoz 已經是領先的“整合式”平台,随着 ZK-Rollup 滲透率的提高,Lumoz 将有巨大潛力在 ZK-Rollup 細分賽道上成長為最亮眼的玩家。

在可比項目層面,将 Lumoz 比做 ZK 賽道的 AltLayer 是具有合理性的。AltLayer 同 Lumoz 的定位類似,都不是單純的 RaaS 項目,而是通過某一特性為 RaaS 賦能,為客戶提供更加全面的服務,進而取得優勢的市場地位。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:Binance Research)

AltLayer 通過基于 EigenLayer 的重質押排序器來為 RaaS 賦能,取得了一定的市場地位。Lumoz 則是通過共享 ZK 算力,幫助 ZK-Rollup 項目解決啟動之後的計算難題。

一文讀懂 ZK 子產品化新星 Lumoz

(https://docs.altlayer.io/altlayer-documentation)

AltLayer 目前的 MC 達到了 6.7 億美金,FDV 更是超過53億美金。AltLayer 的市場表現展現了 RaaS 賽道的高價值捕獲。同理,Lumoz 作為目前 ZK RaaS 賽道的領先玩家,通過整合 ZK 算力和 RaaS 服務,也一定能夠在 ZK-Rollup 全面爆發的時候取得不俗的市場表現。

05項目背景

Lumoz 的前身是 Opside,過往業務也是 ZK-RaaS 平台。在今年 4 月 8 日,Lumoz對外披露其以 1.2 億美元估值完成新一輪融資,OKX Ventures、HashKey Capital、KuCoin Ventures 等參投。

截至目前,Lumoz 融資金額高達1000萬美元。目前第三輪融資已開啟,部分機構已确定參與。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://www.rootdata.com/Projects/detail/Lumoz?k=NTkxMQ%3D%3D)

Lumoz 能夠快速在 ZK 計算子產品取得領先優勢,并獲得衆多頭部機構的支援,源自其深厚的 ZK 技術經驗積累和 PoW 挖礦資源。

團隊在推出 Lumoz 之前,還參與過 6block 和 zk.Work 兩個 ZK 挖礦的項目,展示了其在 ZK 挖礦方面的先行地位。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://6block.com/)

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://zkp.6block.com/)

06進展與規劃

在優秀的技術和資源的加持下,Lumoz 已經助推了多個新銳 ETH L2 和 BTC L2 的誕生,例如 ZKFair和 Merlin Chain。

ZKFair:https://zkfair.io/

Merlin Chain:https://merlinchain.io/

這些項目的快速崛起表明 Lumoz 紮實的技術能力已經受到了市場的認可。

目前,Lumoz 的核心元件 Lumoz 鍊正處于 Alpha Testnet 階段,其主網計劃在今年七月上線,代币生成預計在八月。

Lumoz 十分重視生态的建設和早期使用者的回饋。從去年 8 月開始,Lumoz 推出了持續 4 個月的激勵測試網活動 Gala Event,并取得了優秀的的成績。

Gala Event 活動吸引了接近 70w 的社群使用者參與活動,同時還有 2.5w 個 PoS 節點參與了網絡驗證,還有 145 個礦工實體為 Lumoz 貢獻了哈希算力。此外,還有 15 個 zkEVM 項目基于 Lumoz 鍊穩定運作。

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://twitter.com/LumozOrg/status/1740925588003840194)

目前,Lumoz 還在持續和 ZKFair 以及 Glaxe 開展 Dragon Slayer 活動來激勵使用者參與。目前正處于活動的第三期,該期将發放 25M 個 Lumoz 積分和超過 8000 枚 USDC 的獎勵。

在第三期活動上線 24 小時内,就已經有超過 14.7w 名使用者的參與,由此可見活動的火爆,以及使用者對 Lumoz 的信心。

Lumoz預計Q3上主網,目前可以通過 Dragon Slayer 活動早期參與 Lumoz。

活動連結:

https://dragon-slayer.zkfair.io/

一文讀懂 ZK 子產品化新星 Lumoz

(來源:https://twitter.com/ZKFCommunity/status/1775014125263003766)

07結論與展望

随着 ZK 相關技術的成熟,ZK-Rollup 将在未來的以太坊擴容市場上取得顯著的市場佔有率。

Lumoz 對 ZK-Rollup 面臨的痛點與需求上的超前判斷使得其已經成為該領域的先行者與上司者。從各種活動的熱度來講,我們不難看出使用者已經對 Lumoz 表達了充分認可。

憑借着 Lumoz 團隊對市場的預判和深厚的相關資源,我們相信 Lumoz 能夠成為 ZK-RaaS 賽道的上司者,助推 ZK-Rollup 的大規模應用。讓我們一起期待 Lumoz 的後續表現。