Fermah

fermah.xyz

Fermah is the universal proof generation layer. It is optimized for cheap, fast, and reliable ZK proof generation. Fermah 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, Fermah is architected to support all proof systems. This includes zkVMs, zkEVMs, Groth16, and all other proof systems. In simpler terms, Fermah can generate proofs for any instance in which ZK is used.