随着零知识证明（Zero-Knowledge Proofs, ZKP）在区块链领域的重要性日益凸显，如何高效、低成本地生成ZKP成为了亟待解决的问题。传统的ZKP生成方法不仅需要昂贵的硬件设施，而且存在利用率低下、成本高昂等问题。为了解决这些挑战，Fermah 应运而生，它是一个通用的证明生成层，旨在为各种应用场景提供廉价、快速且可靠的ZK证明生成服务。

Fermah：通用证明生成层

Fermah 的设计初衷是为了简化ZKP生成的过程，并降低开发者的进入门槛。Fermah 的架构类似于一个市场，其中供应方由GPU和FPGA等高性能计算设备组成，而需求方则是需要ZKP生成服务的应用或个人。最初，供应方由EigenLayer Operators引导，确保系统的启动与运作。

Fermah 的功能与优势

（一）功能概述

Fermah 的核心功能包括但不限于：

ZK证明生成：支持为各种场景生成ZK证明，包括但不限于zkRollups、ZK桥接、zkCoprocessors、ZKML等。

可信中立性：支持所有证明系统，包括zkVM、zkEVM和Groth16等。

优化性能：针对廉价、快速和可靠的ZK证明生成进行了优化。

（二）为何选择Fermah？

资源消耗减少：传统的ZKP生成需要大量的计算资源，而Fermah通过集中式的市场机制，使得资源得到充分利用，降低了单个用户的成本负担。

易用性提高：开发者无需自行搭建和维护昂贵的硬件设施，只需通过Fermah平台请求证明生成服务即可。

成本效益显著：由于资源利用率的提高，用户的证明生成成本大大降低，同时保证了服务的速度和可靠性。

Fermah 网络结构

Fermah 网络由三个主要组成部分构成：寻求者（Seekers）、匹配者（Matchmaker）和操作员（Operators）。它们之间通过一系列复杂的交互过程确保证明请求的有效处理。

（一）网络组件

寻求者（Seekers）：提出ZK证明生成请求的一方。

匹配者（Matchmaker）：负责将证明请求分配给合适的操作员。

操作员（Operators）：拥有高性能计算资源，负责实际的ZK证明生成工作。

（二）证明请求生命周期

证明请求的处理流程如下：

请求提交：寻求者通过RPC服务器向Matchmaker提交证明请求，请求中包含指向托管证明系统详细信息的CDN URL。

请求验证：Matchmaker验证寻求者是否在白名单中，并触发任务分配流程。

任务分配：Matchmaker根据操作员的硬件配置信息（由EigenLayer中间件合约记录），将任务分配给具有兼容硬件配置的操作员。

证明生成：操作员下载所需的证明系统，并开始计算生成证明。

证明提交：完成的证明将通过回调URL提交给寻求者。

证明请求的状态管理

为了确保证明请求的有效管理和追踪，Matchmaker会跟踪所有证明请求的状态。以下是证明请求可能的状态：

生成中：证明正在生成过程中。

成功：证明生成成功，并已提交给寻求者。

拒绝（REJECTED）：如果证明未能在设定的时间内生成，则请求状态将被标记为拒绝。

寻求者可以选择设置等待证明生成的时间限制。如果没有按时生成证明，请求状态将被设置为REJECTED。如果寻求者未设置时间限制，则默认时间为1小时。如果在此时间内未能生成证明，操作员会向Matchmaker发送错误消息，将请求标记为REJECTED。

结语

Fermah 作为一款专注于ZK证明生成的通用层，通过其独特的市场机制和高效的资源利用策略，极大地简化了ZKP生成的过程。无论是在游戏、金融还是其他需要高性能计算的应用场景中，Fermah 都将成为开发者不可或缺的强大工具。随着技术的不断进步和完善，Fermah 必将在未来的区块链生态中发挥更加重要的作用。

声明：本网站所有相关资料如有侵权请联系站长删除，资料仅供用户学习及研究之用，不构成任何投资建议！