当你听到 ZK 时，首先想到的是什么？ 对我来说，是 𝐅𝐞𝐫𝐦𝐚𝐡。 因为 @fermah_xyz 并不是在尝试构建下一个 ZK rollup、zkVM 或新的证明系统。 它正在构建一个所有这些系统都可以接入的平台。 ZK 证明是强大的，但为它们运行基础设施则完全是另一回事。 你需要强大的硬件（通常是 GPU）， 高度专业化的软件环境， 以及可靠的编排，以确保一切顺利运行。 这很昂贵，碎片化，并且为每个堆栈定制构建。 • 想要证明 Groth16？你需要设置一个系统。 • 想要证明 Scroll 批次或 zkSync 块？那是另一个。 • 需要运行 RISC Zero 或 Jolt zkVM？又是不同的。 就好像每个流媒体服务都需要自己的电视、自己的遥控器和自己的沙发。 𝐅𝐞𝐫𝐦𝐚𝐡 改变了这一点。 Fermah 是一个 𝐮𝐧𝐢𝐯𝐞𝐫𝐬𝐚𝐥 𝐩𝐫𝐨𝐨𝐟 𝐠𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐦𝐚𝐫𝐤𝐞𝐭𝐩𝐥𝐚𝐜𝐞。 这意味着任何人都可以在不同的证明系统、链和虚拟机之间提交证明请求， Fermah 将把它们与合适的操作节点匹配，以计算并返回该证明。 你使用 AWS 进行计算的方式， 你将使用 Fermah 生成证明。 Fermah 解决了什么问题？ 它抽象了证明基础设施。 不再需要管理机器、安装电路或构建 Docker 运行时。 相反，寻求者通过 RPC 或 SDK 提交作业。Fermah 的匹配器将它们分配给可用的证明节点。 证明被返回并可选择存储。 在后台，这些节点由 Eigenlayer 操作员运行。 这意味着 Fermah 利用以太坊日益增长的再质押经济，提供去中心化、高效的证明生成。 这种编排模型意味着： • 更高的证明者利用率 • 每个证明的成本更低 • 更快的返回时间 • 作为服务的证明（大规模） 这不是理论上的。它正在运行。 Fermah 目前为 @zksync 提供生产工作负载，生成具有强大经济性能的区块证明。 它还集成到 Scroll 的 zkEVM 管道中，涵盖了块、批次和捆绑阶段。 而且它是 a16z 的 Jolt zkVM 的证明层，该层在 Fermah 的测试网中上线。 Fermah 并不是推动又一个 ZK 框架，而是将自己定位为连接层，将零知识证明生成转变为所有人都可以编程和可靠的原语。 那么，Fermah 在实际中提供了什么？ 一个单一的接口： • 生成 Groth16、zkVM、zkEVM、RISC Zero 或 Jolt 证明 • 将证明委托给链下节点，抽象化你的应用逻辑 • 在链和系统之间集成证明生成 • 避免维护内部证明基础设施的开发运维负担 就像开发者不会为了部署应用而建立数据中心， Fermah 认为你不应该需要建立一个证明者农场来使用零知识。 简而言之 Fermah 不仅仅是另一个 ZK 工具。 它是使通用 ZK 生成成为可能的基础设施层。 当证明生成变得商品化、自动化，并在整个堆栈中集成时， 这并不是因为每个应用都构建了自己的管道。 而是因为 Fermah 使得接入和获取证明变得简单。 Gfermah。 @vanishree_rao