Overview
Last updated
Was this helpful?
Last updated
Was this helpful?
Fermah is a universal proof market.
The supply side consists of machines such as GPUs run by EigenLayer Operators. On the demand side, Fermah can generate proofs for any instance in which ZK is used.
The demand and supply sides are aligned with the Fermah Matchmaker. The Matchmaker ensures efficient allocation of resources while maintaining competitive pricing. It can also handle any workflow, regardless of complexity.
Intelligent orchestration optimizes the utilization rate of machines, ensuring fast proving. The network’s lean mechanism design minimizes the cost of generating proofs.
The sum of these components enables universal proving; Fermah can generate proofs for any proof system, chain, or VM.
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.
Network
Resources
Testnet
