Overview

Fermah is the universal proof generation layer.

It functions as a marketplace, where the supply side consists of machines such as GPUs and FPGAs. Initially, the supply side is bootstrapped by EigenLayer Operators. On the demand side, Seekers can request that Fermah generate proofs for any instance in which ZK is used—whether for zkRollups, ZK bridges, zkCoprocessors, ZKML, or anything else. The demand and supply sides are aligned with Fermah's Matchmaker.

Fermah is credibly neutral and designed to support all proof systems, including zkVMs, zkEVMs, and Groth16.

Finally, Fermah is optimized for cheap, fast, and reliable ZK-proof generation.