Lumoz launches zkProver and zkVerifier based on EigenLayer

Despite recent controversies surrounding airdrops, there is no doubt that EigenLayer has become one of the most talked-about star projects of 2024 with its Re-staking mechanism. Its excess returns have not only driven TVL to surge but also prompted users to decisively withdraw from the whirlpool of the Dogecoin meme, redirecting funds and confidence back to the Ethereum ecosystem.

As of the time of writing, EigenLayer's ETH TVL has surpassed 5 million ETH, with over 54 million tokens of Eigen staked, and the number of active AVS (Actively Validated Services) and Operators stands at 11 and 251, respectively. Currently, EigenLayer's ecosystem is also experiencing an explosion, with over 20 leading projects such as Lumoz, Espresso, Near, and Dodo participating.

In a moment, a revolution centered around ETH, leveraging EigenLayer, is unfolding to reshape blockchain security and yield.

This article will take Lumoz as an example to delve into a series of technical explorations conducted by the project on EigenLayer, further promoting technological advancement in Ethereum and the entire blockchain industry.

1. Lumoz Announces Launch of AVS Computing Layer Based on EigenLayer

As a leader in modular computing layers and ZK Rass, Lumoz not only excels in capital markets but also continuously innovates in the technical field. In April 2024, Lumoz first announced the completion of Pre-A financing (currently valued at up to $300 million), followed by the announcement of support for the Op Stack + ZK Fraud Proof Layer 2 architecture, opening a new mode for L2 architecture.

This week, Lumoz officially launched the AVS computing layer based on EigenLayer, composed of zkProver and zkVerifier, which can significantly enhance network computing capabilities and security.

Lumoz's zkProver focuses on generating zero-knowledge proofs (ZKP) to verify data authenticity without disclosing specific data. With powerful computing resources, zkProver can quickly generate efficient zero-knowledge proofs, significantly improving the privacy and security of blockchain networks. zkVerifier is responsible for verifying these zero-knowledge proofs, ensuring their correctness and reliability. Combined with EigenLayer's re-staking mechanism, zkVerifier not only leverages Ethereum's security but also provides additional economic incentives for validators. This dual verification mechanism greatly enhances the overall security of the network and reduces trust risks.

Note: EigenLayer's re-staking mechanism enhances the security of the Ethereum ecosystem by providing AVS, addressing trust issues and capital cost burdens.

By integrating powerful computing resources with EigenLayer's re-staking mechanism, Lumoz has created an efficient and secure computing service ecosystem. This innovation not only enhances the computing capabilities and security of blockchain networks but also provides developers and users with more application scenarios and value. Through zkProver and zkVerifier, Lumoz brings unprecedented innovation and value to the blockchain field, driving technological advancement across the entire industry.

2. Lumoz Computing Layer

The Lumoz computing layer architecture is a highly integrated and collaborative system, with its main components and functions as follows:

It mainly includes the following parts:

1. Ethereum: Adopts EigenLayer standards to build Active Validated Services (AVS). Utilizes EigenLayer's staking token mechanism to enhance the security of AVS.
2. EVM Chain: Supports a diverse blockchain environment compatible with the Ethereum Virtual Machine (EVM), including but not limited to Polygon zk EVM, Polygon CDK, ZKStack, and Scroll, ensuring broad compatibility and scalability.
3. Lumoz AVS Oracle: Responsible for acquiring and storing data from EVM-compatible chains, ensuring high availability and integrity of data, providing a solid data foundation for the computing layer.
4. Lumoz Chain: Serves as the core management layer of the entire computing layer, responsible for task scheduling, reward distribution, and management of zkProver and zkVerifier, including but not limited to node joining and exiting processes.
5. zkProver: Nodes that execute specific computing tasks.
6. zkVerifier: Verification nodes that validate execution results.

Through the close collaboration of these modules, the Lumoz computing layer not only provides a secure and efficient computing environment but also lays a solid foundation for future expansion and upgrades through modular design.

3. What Problems Can Be Solved?

3.1 Large-Scale Computing Demand

The cloud infrastructure provided by Lumoz offers robust support for the computation of zero-knowledge proofs. This support is crucial for ZK-Rollups, as ZK-Rollups are a blockchain scaling solution that executes transactions off-chain and uses ZKP to prove the validity of transactions, subsequently submitting these proofs on-chain, thereby reducing the load on the main chain and increasing transaction throughput.

Lumoz cloud infrastructure capabilities:

1. Compatibility: Lumoz's cloud infrastructure is compatible with various ZK-Rollup solutions, such as Polygon CDK, zkSync, StarkNet, and Scroll. This means it can serve these different platforms without requiring each platform to build its own infrastructure separately.
2. ZK-PoW Algorithm: Lumoz combines miners' computing resources with cloud infrastructure through the ZK-PoW (Zero-Knowledge Proof of Work) algorithm, allowing miners to contribute their computing power to support ZKP computation.
3. Performance and Efficiency: By supporting parallel computation of ZKP, computing efficiency can be significantly improved, as multiple computing tasks can be executed simultaneously. Additionally, sequential submission ensures orderly processing of transactions.
4. Recursive Aggregation Algorithm: Optimizing the recursive aggregation algorithm can reduce the number of required ZKP, thereby lowering computational complexity and costs.
5. Network Communication Improvements: Enhancing network communication can reduce data transmission time and improve overall system response speed.
6. Cost-Effectiveness: Through the above optimizations, Lumoz can lower the costs of ZKP computation, making ZK-Rollup solutions more economically efficient.

Lumoz's cloud infrastructure provides a powerful, flexible, and cost-effective solution for ZKP computation, helping to drive the development and application of blockchain technology.

3.2 Reducing zk Proof Gas

The design strategy of zkVerifier aims to enhance efficiency, improve scalability, and effectively reduce transaction costs, specifically reflected in the following aspects:

1. Integration of Multi-Source Proofs: zkVerifier can integrate proofs from different sources, supporting a wide range of zero-knowledge proof application scenarios. This flexibility is a key advantage in the blockchain ecosystem, as it provides different projects and applications the possibility to utilize zkVerifier services.
2. Gas Cost Savings: Through carefully designed proof processing and verification mechanisms, zkVerifier significantly reduces the gas costs of submitting proofs, providing users with a more cost-effective blockchain service experience.
3. Adaptability of Proof Features: zkVerifier demonstrates adaptability to the proof features generated by different proof systems, including proof size, verification time, and verification logic. This adaptability is crucial for ensuring the efficient operation of the system.
4. Customized Release Strategies: Based on the characteristics of different proofs, zkVerifier has designed customized release strategies that optimize the use of on-chain resources and ensure the efficient transmission of proofs, helping to reduce network congestion and improve transaction speed.
5. Deployment of Dedicated Verifiers: zkVerifier deploys dedicated verifiers, which are key mechanisms to ensure the validity of proofs. These verifiers ensure that only verified proofs can be published to Ethereum, maintaining the security and reliability of the system.
6. Optimization of Data Availability Layer: The data availability layer of zkVerifier ensures the persistence and accessibility of proofs while providing a cost-effective storage strategy, which is crucial for reducing the operational costs of the system.
7. Deep Integration with Ethereum: zkVerifier publishes verification results to Ethereum, generating verification proofs by Ethereum. This step is key to ensuring cross-chain interoperability and trust, facilitating seamless collaboration between zkVerifier and major blockchain networks like Ethereum.
8. Authority of Verification Proofs: The verification proofs generated by Ethereum provide final authoritative confirmation of the data validity for zkVerifier, which is crucial for establishing trust in zkVerifier's data within the Ethereum network.

These innovative designs of zkVerifier not only address the challenges faced by existing blockchain technologies but also achieve significant progress in enhancing efficiency, reducing costs, and improving interoperability. This design helps promote broader applications of blockchain technology and provides users with a more secure and efficient service environment.

4. Specific Workflow

4.1 zkProver

zkProver is the core component for generating zero-knowledge proofs. ZKP allows the prover to demonstrate the correctness of a statement to the verifier without revealing any additional information. zkProver includes various types of provers, such as zkRollup Prover, zkFraud Prover, and zkML Prover, each optimized for specific computing tasks to ensure optimal performance and system efficiency in specific domains.

Workflow:

1. Task Acquisition: Lumoz AVS Oracle and Dispatch module synchronize tasks from the blockchain to Lumoz Chain, which are assertions or computations that need to be proven.
2. Task Distribution: Tasks are allocated to different Provers through the Dispatch module. Dispatch acts as the task scheduling center, determining which type of Prover is best suited to handle the task based on its nature and requirements. The Dispatch module dynamically allocates computing resources through smart algorithms, optimizing resource allocation in real-time based on task load and the performance of each Prover, ensuring stable operation of the system during high-demand periods.
3. Proof Generation:

• zkRollup Prover: Focuses on generating proofs related to transaction batch compression, suitable for improving blockchain processing speed and scalability.
• zkFraud Prover: Used to generate fraud proofs that can help detect and prevent misconduct.
• zkML Prover: Specifically handles complex proofs related to machine learning model verification, validating model outputs without disclosing the model itself or its input data.
• Other Prover: Other Provers used for specific proofs.

1. Proof Submission: The generated proofs are sent to Lumoz Chain for verification and archiving.

4.2 zkVerifier

zkVerifier is another key component in the architecture, responsible for verifying the ZKP generated by zkProver. It ensures the correctness and validity of proofs submitted to the chain, safeguarding the trust and security of the system. Through optimized verification processes, zkVerifier efficiently handles proofs, reducing operational costs and gas consumption.

Workflow:

1. Proof Submission: Proofs generated by zkProver are submitted to Lumoz Chain, initiating the verification task.
2. Proof Verification: Lumoz Chain sends the verification task to multiple zkVerifiers, which independently perform distributed verification.
3. Collective Decision: At least two-thirds of the verification nodes confirm the proof's validity, ensuring the authority and consistency of the verification results.
4. Verification Result Processing: Valid proofs and their results are returned by Lumoz AVS Oracle to the Lumoz Proof Contract on the blockchain for storage, and the task results are recorded and responded to Lumoz Chain through the Task Manager Contract.

5. Conclusion

Lumoz's announcement of the launch of zkProver and zkVerifier based on EigenLayer not only significantly enhances the efficiency of computation and verification but also effectively ensures the security and yield of the entire service process through EigenLayer's re-staking mechanism. Through specialized node design, Lumoz can provide solutions for different computing tasks, achieving optimal performance and efficiency. Meanwhile, through the re-staking mechanism, Lumoz offers substantial returns to stakers, further enhancing the economic security of the system.

In the future, we hope to see more projects like EigenLayer and Lumoz emerge, directly addressing the current challenges in blockchain and genuinely solving user pain points from a practical standpoint, while actively exploring and attempting more efficient and secure solutions, thereby promoting the progress and prosperity of the entire industry.