Fermah Testnet

Fermah is a universal proof market designed to make zero-knowledge (ZK) proof generation cheap, fast, and reliable. Unlike traditional approaches, Fermah supports all proof systems including zkVMs, zkEVMs, and Groth16. It bridges demand and supply with its Matchmaker, which efficiently allocates resources across GPUs run by EigenLayer Operators. This design minimizes costs while ensuring high performance.

By combining intelligent orchestration with a lean mechanism, Fermah addresses the biggest hurdles in proof generation—slow speeds, high costs, and poor infrastructure utilization. Developers can now generate ZK proofs for any system, chain, or VM, without building and maintaining expensive infrastructure. With $5.2 million raised from backers such as a16z CSX, Balaji Srinivasan, and Sandeep Nailwal, Fermah is positioned as the backbone for scalable proof generation.