Lumoz 推出基于 EigenLayer 的 zkProver 和 zkVerifier

尽管最近围绕空投存在争议，但毫无疑问，得益于其重新质押机制，EigenLayer 已成为 2024 年最突出的项目之一。该机制不仅推动了 TVL 的激增，还促使用户将资金和信心转移回以太坊生态系统，远离 meme 币的狂热。

根据公开数据，截至本文撰写时，EigenLayer 的 ETH TVL 已突破 500 万ETH ，其代币 Eigen 的质押量已超过 5400 万枚。活跃的 AVS（主动验证服务）和运营商数量分别为 11 个和 251 个。EigenLayer 生态系统也蓬勃发展，包括Lumoz 、Espresso、Near 和 Dodo 在内的 20 多个不同领域的领先项目正在积极参与。

这标志着一场旨在利用 EigenLayer 重塑 ETH 区块链安全性和盈利能力的革命的开始。本文将以 Lumoz 为案例，深入探讨在 EigenLayer 上进行的一系列技术探索，从而进一步推进以太坊和更广泛的区块链行业的技术发展。

1. Lumoz 推出基于 EigenLayer 的 AVS 计算层

作为模块化计算层和 ZKRaas Platform 的领导者，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 的 Re-stake 机制，zkVerifier 不仅充分利用了以太坊的安全性，还为验证者提供了额外的经济激励。这种双重验证机制大大增强了网络的整体安全性，降低了信任风险。

注：EigenLayer 的 Re-staking 机制通过提供 AVS、解决信任问题和资本成本负担，增强了以太坊生态系统的安全性。

Lumoz 通过将强大的计算资源与 EigenLayer 的 Re-stake 机制相结合，打造了一个高效、安全的计算服务生态。这一创新不仅提升了区块链网络的算力和安全性，也为开发者和用户提供了更多的应用场景和价值。通过 zkProver 和 zkVerifier，Lumoz 为区块链领域带来了前所未有的创新和价值，推动了整个行业的技术进步。

2. Lumoz 计算层

Lumoz计算层架构是一个高度集成和协作的系统，其主要组件和功能如下：

主要组件包括：

• 以太坊: 利用 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 为零知识证明 (ZKP) 计算提供强大的云基础设施支持。这种支持对于 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-Rollup 解决方案更具经济效率。

  
  

Lumoz的云基础设施为ZKP计算提供了强大、灵活且经济高效的解决方案，为区块链技术的进步和应用做出了贡献。

3.2 减少 zk Proof Gas

zkVerifier 的设计策略旨在增强效率、可扩展性，并有效降低交易成本，体现在以下几个方面：

• 多种证明源集成：zkVerifier 可以集成不同来源的证明，支持多种零知识证明应用。这种灵活性是区块链生态系统的一个关键优势，因为它允许各种项目和应用程序使用 zkVerifier 服务。

  
  

• 节省Gas成本：通过精心设计的证明处理和验证机制，zkVerifier 大幅降低提交证明的Gas成本，为用户提供更具成本效益的区块链服务体验。

  
  

• 证明特性的适应性：zkVerifier 对不同证明体系生成的证明的特性具有适应性，包括证明大小、验证时间、验证逻辑等，这种适应性是保证系统高效运行的关键。

  
  

• 定制化发布策略：基于不同证明的特点，zkVerifier 设计了定制化的发布策略，优化链上资源的利用，保证证明的高效传输，有助于减少网络拥堵，提高交易速度。

  
  

• 部署专用验证器：zkVerifier 部署专用验证器，这是确保证明有效性的关键机制。这些验证器确保只有经过验证的证明才能发布到以太坊，从而维护系统的安全性和可靠性。

  
  

• 数据可用性层的优化：zkVerifier 的数据可用性层确保了证明的持久性和可访问性，同时提供了经济高效的存储策略，这对于降低系统的运营成本至关重要。

  
  

• 与以太坊深度集成：zkVerifier 将验证结果发布到以太坊，以太坊生成验证证明。这一步对于确保跨链互操作性和信任至关重要，促进 zkVerifier 与以太坊等主要区块链网络之间的无缝协作。

  
  

• 验证证明的权威性：以太坊生成的验证证明对 zkVerifier 提供的数据有效性提供了最终的权威确认。这对于在以太坊网络内建立对 zkVerifier 数据的信任至关重要。

zkVerifier 的这些创新设计不仅解决了现有区块链技术面临的挑战，还在提升效率、降低成本、改善互操作性等方面取得了显著进步，有助于推动区块链技术更广泛的应用，为用户提供更加安全、高效的服务环境。

4. 详细工作流程

4.1 zkProver

zkProver 是负责生成零知识证明（ZKP）的核心组件。ZKP 允许证明者向验证者证明某个断言的正确性，而无需透露任何其他信息。zkProver 包括各种类型的证明者，例如 zkRollup Prover、zkFraud Prover 和 zkML Prover，每种证明者都针对特定的计算任务进行了优化，以确保在各自的领域内实现最佳性能和系统效率。

工作流程：

1. 任务获取： Lumoz AVS Oracle 和 Dispatch 模块从区块链中检索任务并将其同步到 Lumoz Chain。这些任务由需要证明的断言或计算组成。

   
   

2. 任务分配：通过 Dispatch 模块将任务分配给不同的 Prover。Dispatch 作为任务调度中心，根据任务性质和需求确定最适合处理每项任务的 Prover 类型。Dispatch 模块通过智能算法动态分配计算资源，根据任务负载和各 Prover 性能实时优化资源分配，确保系统在高需求时段稳定运行。

   
   

3. 证明生成：

   a、zkRollup Prover：专注于生成与交易批量压缩相关的证明，增强区块链处理速度和可扩展性。

   b、zkFraud Prover：生成有助于检测和防止不当行为的欺诈证明。

   c、zkML Prover：专门生成与机器学习模型验证相关的复杂证明，在不泄露模型本身或其输入数据的情况下确保模型输出的有效性。

   d、其他证明者：根据需要处理特定类型的证明。

   
   

4. 证明提交：生成的证明被发送到Lumoz Chain进行验证和存档。

4.2 zkVerifier

zkVerifier 是架构中的另一个关键组件，负责验证 zkProver 生成的 ZKP。它确保提交到链上的证明的正确性和有效性，从而保障系统的信任和安全。通过优化的验证流程，zkVerifier 可以高效处理证明，从而降低运营成本和 gas 消耗。

工作流程：

1. 证明提交： zkProver 生成的证明提交给 Lumoz Chain，启动验证任务。

   
   

2. 证明验证： Lumoz Chain将验证任务发送给多个zkVerifiers，每个zkVerifiers独立进行分布式验证。

   
   

3. 集体决策：至少三分之二的验证节点确认证明的有效性，保证验证结果的权威性和一致性。

   
   

4. 验证结果处理：有效证明及其结果由Lumoz AVS Oracle传回区块链上的Lumoz Proof Contract，任务管理合约在Lumoz Chain上记录并响应任务结果。

   
   

5. 总结

Lumoz宣布推出基于EigenLayer的zkProver和zkVerifier，大幅提升计算和验证的效率。EigenLayer的re-stake机制有效保证了整个服务流程的安全性和收益性。通过专门的节点设计，Lumoz可以为不同的计算任务提供解决方案，实现最优的性能和效率。此外，通过re-stake机制，Lumoz为staker提供丰厚的回报，进一步增强了系统的经济安全性。

未来，我们希望看到更多像EigenLayer、Lumoz这样的项目出现，解决当前区块链的挑战，真正解决用户的痛点，并积极探索和尝试更高效、更安全的解决方案，最终推动整个行业的进步与繁荣。