表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于Fermah
Fermah 做的是通用 ZK 证明生成市场，把证明计算从应用侧剥离。需求方可以是 Rollup、跨链桥、ZK 协处理器、zkVM 或 ZKML 项目，只需提交证明请求；供给方是运行 GPU、FPGA 的运营方，早期由 EigenLayer 的 operator 提供启动算力。Fermah Matchmaker 在价格、延迟与证明系统之间路由任务，网络对 Groth16、RISC Zero、SP1、Stwo、Jolt 等证明系统保持中立，并按可预测定价提供 SLA，解决证明硬件利用率低、单机自建成本高的问题。
它的位置在证明层与执行层之间：Rollup 团队不必自建 prover 集群，桥与协处理器可按需购买算力，EigenLayer 的再质押安全被复用来约束运营方。运营方按证明系统分别部署验证器与电路参数，任务按价格与延迟排序，费用以实际生成的证明计量。
Fermah作为零知识证明生成层，完成了由a16z CSX和Lemniscap领投的520万美元种子轮融资，获得早期机构支持。随后，其分阶段激励测试网（Goldwasser、Sahai、Boneh）上线，用于压力测试通用证明市场，验证真实负载与支付机制。这些节点为其去中心化证明市场奠定了基石。
2026 年，Fermah 把证明市场更名为 Fermah Froben，并公布运行数据——累计生成超过 150 万条证明，成功率 99.5%，覆盖 4,462 条工作流，由 14 个独立运营者与 65 台分布在全球的机器完成，全程无人工介入；ZKsync 的证明经其生成，官方称生产环境零停机。市场对证明系统保持中立，用户可在 Halo2、SP1 与 Binius 之间切换而不改接入。
同年，团队推出 Fermah Kernel，把链上系统需要的「观察、决策、执行」做成可验证工作流，替代自建 resolver、keeper 机器人与定时脚本；公司称原本只做证明买卖，但复杂证明管线的取数、编排与结果上链缺口更大，因此向上扩展到完整基础设施。对 rollup 而言，外包证明等于把固定成本换成随用量变化的支出，在证明需求波动大时更划算。
Fermah 以 API 屏蔽 GPU 资本开支与运维复杂度，把证明市场与自主工作流绑成一套，先服务 rollup 与桥，再向隐私应用与 ZKML 扩展。
Dr. Vanishree Rao：创始人兼 CEO，UCLA 密码学博士，拥有 15 ZK设计与构建经验。
Pranit Garg：CMO。