Fermah is a universal proof marketplace designed to make zero-knowledge (ZK) proof generation cheaper, faster, and more reliable. It connects GPU-based computing resources operated by EigenLayer Operators with developers and applications that need ZK proofs. Its Matchmaker efficiently aligns proof demand with available computing resources, while intelligent orchestration improves machine utilization. Fermah supports multiple proof systems, including zkVMs, zkEVMs, and Groth16, enabling flexible proof generation across different chains and virtual machines.