Lumoz推出基於EigenLayer的zkProver和zkVerifier

儘管近期存在空投爭議，但毫無疑問，EigenLayer憑藉其重新質押機製成為2024年最受關注的明星項目。其超額收益不僅幫助TVL飆升，也讓用戶果斷退出金狗Meme的漩渦，將資金和信心回歸以太坊生態。

截至 新聞時間 ，EigenLayers ETH TVL 已超過 500 萬 ETH，質押的 Eigen 代幣數量已超過 5,400 萬，活躍 AVS 數量（ 積極驗證的服務 ) 和運算子分別為 11 和 251。目前，EigenLayer生態也迎來爆發，Lumoz、Espresso、Near、Dodo等20餘家賽道領袖也參與其中。

突然之間，一場以 ETH 為中心、利用 Eigenlayer 重塑區塊鏈安全性和盈利能力的革命開始了。

本文將以Lumoz為例，深入探討該專案在EigenLayer上進行的一系列技術探索，從而進一步推動以太坊乃至整個區塊鏈產業的技術進步。

1.Lumoz宣布推出基於EigenLayer的AVS計算層

身為模組化算力層和ZKRass的領導者，Lumoz不僅在資本市場表現出色，在技術領域也不斷創新。 2024年4月，Lumoz先是宣布完成Pre-A融資（目前估值US$3億），隨後宣布支援Op Stack+ZK Fraud Proof的Layer 2架構，開啟L2架構新模式。

本週，Lumoz宣布正式推出基於EigenLayer的AVS運算層，該運算層由zkProver和zkVerifier組成，可顯著提高網路的運算能力和安全性。

Lumozs zkProver 專注於產生零知識證明（ZKP）以驗證資料真實性而不洩露特定資料。憑藉強大的運算資源，zkProver能夠快速產生高效的零知識證明，顯著提高區塊鏈網路的隱私性和安全性。 zkVerifier 負責驗證這些零知識證明，確保其正確性和可靠性。結合EigenLayer重質押機制，zkVerifier不僅利用了以太坊的安全性，也為驗證者提供了額外的經濟誘因。這種雙重驗證機制大大增強了網路的整體安全性，降低了信任風險。

註：EigenLayers 重質押機制增強了以太坊生態系統的安全性，並透過提供 AVS 解決信任問題和資金成本負擔。

透過將強大的運算資源與EigenLayers重質押機制結合，Lumoz打造了一個高效率、安全的運算服務生態系統。這項創新不僅提高了區塊鏈網路的算力和安全性，也為開發者和用戶提供了更多的應用場景和價值。透過zkProver和zkVerifier，Lumoz為區塊鏈領域帶來了前所未有的創新和價值，推動了整個產業的技術進步。

2. Lumoz計算層

Lumoz運算層架構是一個高度整合且協調的系統，具有以下主要元件和功能：

主要包括以下幾個部分：

• 以太坊：採用EigenLayer標準建構主動驗證服務（AVS）。利用EigenLayers質押代幣機制增強AVS的安全性

• EVM鏈：支援以太坊虛擬機器（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（零知識工作量證明）演算法，礦工可以貢獻自己的算力來支援ZKP運算。

• 性能和效率： 透過支援ZKP的平行計算，可以同時執行多個計算任務，從而顯著提高計算效率。此外，順序提交可確保事務依序處理。

• 遞歸聚合演算法： 優化遞歸聚合演算法可以減少所需的ZKP數量，從而降低計算複雜度和成本。

• 網路通訊改善： 改進的網路通訊可以減少資料傳輸時間並提高整體系統回應能力。

• 成本效益： 透過上述優化，Lumoz 能夠降低 ZKP 運算的成本，使使用 ZK-Rollups 的解決方案更具成本效益。

Lumozs雲端基礎設施為ZKP運算提供了強大、靈活且經濟高效的解決方案，有助於推動區塊鏈技術的發展和應用。

3.2 減少zkproof Gas

zKVerifier的設計策略旨在提高效率、增強可擴展性、有效降低交易成本，具體體現在以下幾個方面：

• 多源證明整合： zkVerifier能夠整合不同來源的證明，支持廣泛的零知識證明應用場景。這種靈活性是區塊鏈生態系統的關鍵優勢，因為它為不同的專案和應用程式提供了利用 zkVerifier 服務的可能性。

• 節省瓦斯成本： 透過精心設計的證明處理和驗證機制，zkVerifier大幅降低了提交證明的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 zk驗證器

zkVerifier是架構中的另一個關鍵元件，負責驗證zkProver產生的ZKP。它保證了提交到鏈上的證明的正確性和有效性，並保證了系統的信任和安全。透過優化的驗證流程，zkVerifier 可以有效處理證明，降低營運成本和 Gas 消耗。

工作流程：

• 提交證明：將zkProver產生的證明提交給Lumoz Chain，啟動驗證任務

• 證明驗證：Lumoz Chain將驗證任務傳送到多個zKVerifier節點，這些節點獨立進行分散式驗證。

• 集體決策：至少三分之二驗證節點確認證明有效，確保驗證結果的權威性和一致性

• 驗證結果處理：有效證明及其結果由 Lumoz AVS Oracle 發送回區塊鏈上的 Lumoz 證明合約進行存儲，任務結果被記錄並透過任務管理器合約回應給 Lumoz Chain。

5. 結論

Lumoz宣布推出基於EigenLayer的zkProver和zkVerifier，不僅顯著提升了計算和驗證的效率，而且透過EigenLayers重質押機制有效保證了整個服務流程的安全和效益。透過專業的節點設計，Lumoz能夠針對不同的運算任務提供解決方案，以達到最佳的效能和效率。同時，透過重新質押機制，Lumoz為質押者提供了豐厚的效益，進一步增強了系統的經濟安全性。

未來，我們也希望看到更多像EigenLayer、Lumoz這樣的專案湧現，正視當前的區塊鏈困境，從實踐的角度真正解決用戶痛點，積極探索並嘗試更有效率、安全的解決方案，從而推動進步以及整個產業的繁榮。

本文來自網路：Lumoz基於EigenLayer推出zkProver和zkVerifier

相關：加密鯨魚購買 $2480 萬注入 (INJ)：價格影響

簡而言之，Injective 注意到上週出現 16% 修正，目前維持在 $30 上方。隨著價格下跌，加密鯨魚一天內增加了價值 $2480 萬的 INJ。過去兩天的 DAA 背離可能會引發注射價格回升。單射 (INJ) 價格在跌破 $35 支撐位（創下月度低點）後正試圖反彈。鑑於加密鯨魚最近大量積累了 INJ，它們可能會成為復甦的催化劑。加密鯨魚支援復甦 Injection 價格在過去一周修正超過 16% 之後，目前交易價格為 $34。在同一時間段內，網路活動有所增長，從每日活躍地址 (DAA) 中可以看出。在價格下跌而 DAA 上漲的情況下，市場會出現買入…