儘管近期身陷空投爭議，但毫無疑問，EigenLayer 仍憑藉著Re-staking 再質押機制一躍成為 2024 年最受關注的明星項目。其超額收益不僅助力 TVL 一路暴漲，也讓用戶果斷從金狗 Meme 的漩渦中抽離，重新將資金和信心回歸到以太坊生態。
截至發稿，EigenLayer 的 ETH TVL 已突破500 萬枚 ETH，代幣 Eigen 的質押數量超過 5400 萬枚，活躍的 AVS（ Actively Validated Services ）和 Operator 數量分別為 11 和 251 。目前 EigenLayer 的生態也迎來爆發，Lumoz、Espresso、Near、Dodo 等 20+ 賽道龍頭也紛紛參與其中。
一時間，一場圍繞 ETH、並藉助 Eigenlayer，重塑區塊鏈安全與收益的革命就此展開。
本文將以 Lumoz 為例，深入探討該專案在 EigenLayer 上進行的一系列技術探索，從而進一步推動以太坊乃至整個區塊鏈產業的技術進步。
1. Lumoz 宣布推出基於EigenLayer 的AVS 運算層
作為模組化算力層和 ZKRass 的龍頭，Lumoz 不僅在資本市場的表現優異，技術領域的創新更是不斷。 2024 年 4 月，Lumoz 先是宣布完成 Pre-A 融資（目前估值高達 3 億美金），緊接著又宣布支援 Op Stack + ZK Fraud Proof 的 Layer 2 架構，開啟L2 架構的新模式。
本週，Lumoz 宣布正式推出基於EigenLayer 的AVS 運算層，由zkProver 和zkVerifier 組成，可顯著提升網路運算能力和安全性。
Lumoz 的zkProver 專注於產生零知識證明（ZKP），在不洩露特定資料的情況下驗證資料真實性。透過強大的運算資源，zkProver 能夠快速產生高效的零知識證明，顯著提高了區塊鏈網路的隱私性和安全性。 zkVerifier 則負責驗證這些零知識證明，確保其正確性和可靠性。與EigenLayer 再質押機制結合，zkVerifier 不僅利用以太坊的安全性，也為驗證者提供額外的經濟誘因。這種雙重驗證機制大大增強了網路的整體安全性，減少了信任風險。
註：EigenLayer 的再質押（Re-staking）機制增強了以太坊生態的安全性，透過提供AVS，解決了信任問題和資本成本負擔。
透過整合強大的運算資源與EigenLayer 的再質押機制，Lumoz 打造了一個高效且安全的運算服務生態系統。這項創新不僅提升了區塊鏈網路的運算能力和安全性，也為開發者和用戶提供了更多應用場景和價值。透過zkProver 和zkVerifier，Lumoz 為區塊鏈領域帶來了前所未有的創新和價值，推動了整個產業的技術進步。
2. Lumoz 計算層
Lumoz 運算層架構是一個高度整合且協同的系統，其主要元件和功能如下：
主要包括以下部分：
Ethereum：採用EigenLayer 標準，建構主動驗證服務（AVS）。利用 EigenLayer 的質押代幣機制增強 AVS 的安全性
EVM Chain：支援以太坊虛擬機器（EVM）的多樣化區塊鏈環境，包括但不限於 Polygon zkEVM、Polygon CDK、ZKStack 以及 Scroll 等，確保廣泛的兼容性和擴展性
Lumoz AVS Oracle: 承擔著從 EVM 相容鏈中取得並保存資料的職責，確保資料的高可用性和完整性，為運算層提供堅實的資料基礎
Lumoz Chain：作為整個運算層的核心管理階層，負責任務排程、獎勵分配，以及 zkProver、zkVerifier 的管理，包括但不限於節點的加入和退出流程
zkProver: 執行具體計算任務的節點
zkVerifier: 驗證執行結果的驗證節點
透過這些模組的緊密協作，Lumoz 運算層不僅提供了一個安全、高效的運算環境，而且透過模組化設計，為未來的擴展和升級奠定了堅實的基礎。
3. 可以解決哪些問題？
3.1 大規模算力需求
Lumoz 提供的雲端基礎架構為零知識證明的運算提供了強大的支援。這種支援對於ZK-Rollups 來說非常重要，因為ZK-Rollups 是一種區塊鏈擴展解決方案，它透過在鏈下執行交易並使用ZKP 來證明交易的有效性，然後將這些證明提交到鏈上，從而減少主鏈的負載並提高交易吞吐量。
Lumoz 雲端基礎架構能力：
相容性： Lumoz 的雲端基礎架構與多種ZK-Rollup 解決方案相容，如Polygon CDK、zkSync、StarkNet 和Scroll 等。這意味著它可以為這些不同的平台提供服務，而不需要每個平台單獨建立自己的基礎設施。
ZK-PoW 演算法： Lumoz 結合了礦工的運算資源和雲端基礎設施，透過ZK-PoW（Zero-Knowledge Proof of Work）演算法，使得礦工可以貢獻他們的運算能力來支援ZKP 的運算。
效能和效率：透過支援ZKP 的平行計算，可以顯著提高計算效率，因為多個計算任務可以同時進行。此外，順序提交確保了交易的有序處理。
遞歸聚合演算法：最佳化遞歸聚合演算法可以減少所需的ZKP 數量，從而降低計算複雜性和成本。
網路通訊改善：改善網路通訊可以減少資料傳輸時間，提高整體的系統回應速度。
成本效益：透過上述優化，Lumoz 能夠降低ZKP 計算的成本，使得使用ZK-Rollups 的解決方案更加經濟高效。
Lumoz 的雲端基礎設施為ZKP 運算提供了一個強大、靈活且成本效益高的解決方案，有助於推動區塊鏈技術的發展和應用。
3.2 降低zk proof Gas
zkVerifier 的設計策略旨在提升效率、增強可擴展性，並有效降低交易成本，具體體現在以下幾個方面：
多源證明的整合： zkVerifier 能夠整合來自不同來源的證明，支持廣泛的零知識證明應用情境。這種靈活性是區塊鏈生態系統中的關鍵優勢，因為它為不同專案和應用提供了利用zkVerifier 服務的可能性。
Gas 花費的節省：透過精心設計的證明處理和驗證機制，zkVerifier 顯著降低了提交證明（proof）的gas 成本，為用戶帶來了更具成本效益的區塊鏈服務體驗。
證明特徵的適應性： zkVerifier 展現出對不同證明系統產生的證明特徵的適應性，包括證明大小、驗證時間和驗證邏輯。這種適應性是確保系統高效運作的核心。
客製化發布策略：根據不同證明的特徵，zkVerifier 設計了客製化的發布策略，優化了鏈上資源的使用，並確保了證明的高效傳遞，有助於減少網路擁堵，提升交易速度。
專用驗證器的部署： zkVerifier 部署了專用驗證器，這是確保證明有效性的關鍵機制。這些驗證器確保只有經過驗證的證明才能發佈到以太坊，維護了系統的安全性和可靠性。
資料可用性層的最佳化： zkVerifier 的資料可用性層確保了證明的持久性和可存取性，同時提供了一種經濟高效的儲存策略，這對於降低系統的營運成本至關重要。
與以太坊的深度整合： zkVerifier 將驗證結果發佈到以太坊，並由以太坊生成驗證證明，這一步驟是確保跨鏈互通性和信任的關鍵，有助於zkVerifier 與以太坊等主要區塊鍊網絡實現無縫協作。
驗證證明的權威性：以太坊產生的驗證證明為zkVerifier 提供的數據有效性提供了最終的權威確認，這對於建立以太坊網路對zkVerifier 數據的信任至關重要。
zkVerifier 的這些創新設計不僅解決了現有區塊鏈技術面臨的挑戰，更在提升效率、降低成本和增強互通性方面取得了顯著進步。這項設計有助於推動區塊鏈技術的更廣泛應用，並為用戶提供更安全、更有效率的服務環境。
4. 具體工作流程
4.1 zkProver
zkProver 是產生零知識證明的核心元件。 ZKP 允許證明者向驗證者證明某個斷言的正確性，而無需透露任何額外資訊。 zkProver 包含多種證明者類型，如 zkRollup Prover、zkFraud Prover 和 zkML Prover，每種都針對特定計算任務進行了最佳化，以確保在特定領域內的最佳效能和系統效率。
工作流程：
任務取得：Lumoz AVS Oracle 和Dispatch 模組從區塊鏈取得任務同步到 Lumoz Chain，這些任務是需要證明的斷言或計算
任務分發：任務透過Dispatch 模組被分配到不同的Provers。 Dispatch 作為任務調度中心，根據任務的性質和需求，決定哪種類型的Prover 最適合處理該任務。 Dispatch 模組透過智慧演算法動態調配運算資源，根據任務負載和各Prover 的效能即時優化資源分配，確保系統在高需求時段的穩定運行
證明生成：
zkRollup Prover：專注於處理與交易批次壓縮相關的證明，適用於提高區塊鏈處理速度和擴展性。
zkFraud Prover：用於產生詐欺證明，這些證明可以幫助偵測和防止不正當行為。
zkML Prover：專門處理與機器學習模型驗證相關的複雜證明，驗證模型的輸出而不洩露模型本身或其輸入數據
Other Prover：其他用於特定證明的 Prover
4. 證明提交：產生的證明發送至Lumoz Chain 進行驗證、存檔
4.2 zkVerifier
zkVerifier 是架構中的另一個關鍵元件，負責驗證zkProver 產生的 ZKP。它確保提交到鏈上的證明的正確性和有效性，並保障系統的信任和安全性。透過優化的驗證流程，zkVerifier 高效處理證明，減少操作成本和 Gas 消耗。
工作流程：
證明提交：由zkProver 產生的證明提交至Lumoz Chain，啟動驗證任務
證明驗證：Lumoz Chain 將驗證任務傳送至多個zkVerifier，這些節點獨立執行分散式驗證。
集體決策：至少三分之二的驗證節點確認證明有效，確保驗證結果的權威性和一致性
驗證結果處理：有效證明及其結果由Lumoz AVS Oracle 回傳至區塊鏈的Lumoz Proof Contract 存儲，並透過Task Manager Contract 記錄和回應任務結果至Lumoz Chain。
5. 總結
Lumoz 宣布推出基於EigenLayer 的zkProver 和zkVerifier，不僅顯著增強了計算和驗證的效率，而且透過EigenLayer 的再質押機制有效確保了整個服務流程的安全性和效益。透過專業化的節點設計，Lumoz 能夠為不同的運算任務提供解決方案，從而實現最優的效能和效率。同時，透過再質押機制，Lumoz 為質押者提供了實質的利益，進一步增強了系統的經濟安全性。
未來，也希望看到更多像EigenLayer 和Lumoz 這樣的項目出現，直面當前區塊鏈困境，真正從實際出發解決用戶痛點，並積極探索並嘗試更多高效、安全的解決方案，進而推動整個行業的進步和繁榮。
