Lumoz 推出基于 EigenLayer 的 zkProver 和 zkVerifier

尽管近期空投风波不断，但毫无疑问，EigenLayer 凭借其重新质押机制，成为 2024 年最受瞩目的明星项目，其超额收益不仅助力 TVL 飙升，也让用户果断退出金狗币漩涡，将资金和信心回归以太坊生态。

截至 发稿时间 其中，EigenLayers ETH TVL 已超过 500 万 ETH，质押的 Eigen 代币数量已超过 5400 万，活跃 AVS 数量（ 积极验证的服务 )和Operators分别为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组成，可显著提高网络的算力和安全性。

Lumoz 的 zkProver 专注于生成零知识证明（ZKP），在不泄露具体数据的情况下验证数据真实性。凭借强大的计算资源，zkProver 能够快速生成高效的零知识证明，大大提高区块链网络的隐私性和安全性。zkVerifier 负责验证这些零知识证明，确保其正确性和可靠性。结合 EigenLayer 重新质押机制，zkVerifier 不仅充分利用了以太坊的安全性，还为验证者提供了额外的经济激励。这种双重验证机制大大增强了网络的整体安全性，降低了信任风险。

注：EigenLayers 重新质押机制通过提供 AVS 增强了以太坊生态系统的安全性，并解决了信任问题和资本成本负担。

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

2. Lumoz 计算层

Lumoz计算层架构是一个高度集成和协调的系统，主要包括以下组件和功能：

主要包括以下几个部分：

• 以太坊：采用 EigenLayer 标准构建主动验证服务（AVS）。使用 EigenLayer 质押代币机制增强 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 减少zk proof 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模块将任务分发到不同的Prover上，Dispatch作为任务调度中心，根据任务性质和需求判断哪种类型的Prover最适合处理该任务。Dispatch模块通过智能算法动态分配计算资源，根据任务负载和各Prover性能实时优化资源配置，保障系统在高需求时段稳定运行。

• 证明生成：

• zkRollup Prover：专注于处理与交易批量压缩相关的证明，适合提高区块链处理速度和可扩展性。

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

• zkML 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的re-staking机制有效保证了整个服务流程的安全性和收益性。通过专业的节点设计，Lumoz能够针对不同的计算任务提供解决方案，以达到最优的性能和效率。同时，通过re-staking机制，Lumoz为质押者提供了丰厚的收益，进一步增强了系统的经济安全性。

未来，我们也希望看到更多像EigenLayer、Lumoz这样的项目涌现，正视当前区块链的困境，真正从实践角度解决用户痛点，并积极探索和尝试更加高效、安全的解决方案，从而推动整个行业的进步与繁荣。

本文来源于网络：Lumoz推出基于EigenLayer的zkProver和zkVerifier

相关：加密货币鲸鱼购买了 $2480 万枚 Injective (INJ)：价格影响

简言之，Injective 在上周经历了 16% 的修正，目前维持在 $30 以上。随着价格下跌，加密鲸鱼在一天内增加了价值 $2480 万美元的 INJ。过去两天的 DAA 分歧可能引发 Injective 价格回升。Injective (INJ) 价格在跌破 $35 支撑位（创下月度低点）后正试图回升。鉴于加密鲸鱼最近大量积累了 INJ，它们很可能成为复苏的催化剂。加密鲸鱼支持恢复 Injective 价格目前交易价格为 $34，过去一周修正了超过 16%。在同一期间，网络活动有所增长，这可以从每日活跃地址 (DAA) 中看出。在价格下跌和 DAA 上涨的情况下，市场会闪现买入信号……