Lumoz押注ZK算力，开辟模块化新赛道

比特币刷新历史高位，宣告着牛市的再度来临。与此同时，以太坊作为最大的生态系统，其 Layer 2 （L2）领域的竞争也变得更加激烈。许多项目必定会抓住这次牛市的机遇，以获取更高的 FDV。在这其中，ZK-Rollup 领域展现出巨大的发展潜力。为何如此肯定？从 Lumoz 押注 ZK 算力，开辟模块化新赛道这一叙事中或许可以看出些许端倪。

一、为何看好模块化算力？

从技术原理上来看，一个 Rollup 至少分为 3 个模块：数据可用性（DA）、序列化器（Sequencer）、证明者（Prover）。在这些模块中，DA 和 Sequencer 领域已经有项目取得了显著成就，比如几百亿市值的 Celestia、EigenDA 等为区块链模块化发展树立了榜样。然而，在 ZK-Rollup 领域中，Prover 模块的成本甚至高于 DA，且目前尚未出现强有力的竞争对手。Lumoz 目前是该领域唯一的算力提供者。

另一方面，随着以太坊坎昆升级 EIP-4844 的实施，对 Rollups 的支持度有所提高，未来将会有更多的项目涌现。同时，从以太坊的 PoW 过渡到 PoS 后，许多以太坊挖矿设备失去了用武之地。据统计，目前有价值约 120 亿美元的挖矿设备处于闲置状态，需要重新寻找价值实现的场景。在这种背景下，随着 ZK-Rollup 的大规模实施，生成 ZKP 需要大量的硬件资源和挖矿设备，提供模块化算力的自然成为下一个广阔的蓝海市场。

二、拆解 Lumoz 在模块化算力的硬实力

Lumoz 作为一家去中心化的 ZK-RaaS（ZK-Rollup as a service）平台，同时也是一个支持 ZKP（零知识证明）挖矿的 PoW（工作量证明）网络。从其平台定位可以看出，RaaS 天然与算力相互促进、相互依存，是云端能力持续发展和创新的基石。

接下来，我们将深入探讨 Lumoz 在模块化算力的硬实力，并拆解其在技术创新、奖励机制和自身优势三大方面的具体内容。通过对 Lumoz 的分析，更好地理解模块化算力技术在 Lumoz 身上的核心优势和创新之处。

1. 技术创新：优化的 ZKP 生成算法

在一些开源的 zkEVM 中，ZKP 的计算和提交是顺序进行的。当 ZK-Rollup 提交大量序列时，这可能成为瓶颈，因为矿工无法并行计算多个 ZKP。Lumoz 的两步提交算法实现了 ZKP 的并行计算和顺序提交，使矿工能够同时执行多个 ZKP 生成任务，显著提高了 ZKP 生成效率。

此外，Lumoz 团队还改进了 ZKP 递归聚合算法，显著提高了集群中机器资源的利用率，进一步加快了 ZKP 计算。在实际环境中进行的压力测试显示，使用一个由 20 台机器组成的机器集群（每台机器配备 128 核 CPU 和 1 TB 内存），可以在约 40 分钟内维持 27.8 个交易每秒的速率。在类似条件下，Lumoz 成功将平均交易确认时间从大约 5-6 分钟缩短到约 3 分钟，将 ZKP 生成效率提高了约 80% 。

ZKP 递归聚合算法机制

其中，Aggregator 是 Prover 的重要组成模块，它负责收发、提交和管理 ZKP 证明任务这三个子模块：

Proof Generator，负责任务分发：将证明任务分配给 Prover（PoW 矿工），接收任务结果（矿工生成的 ZKP）并将 ZKP 存储证明在 DB 数据库中。其特点是可以并行生成，即不同的证明生成 sequences 可以同时完成（不存在上下文关系），以及同一个 sequence 内部可以同时执行多个 BatchProofTasks。

Proof Manager 负责管理已完成的 ZKP：负责管理 ZKP 证明并控制其链上验证，确保所有 ZKP 证明可以及时进行链上验证。

Proof Sender 负责提交 ZKP 到 zkevm：将 ZKP 证明提交到部署在基础链上的 zkevm 合约中。