The Missing Piece to Bring Moon Math to the Masses
Introducing the Universal Proof Generation Layer
Backed by the Best
The ZK Bazaar
Fermah functions as a marketplace.
The supply side consists of machines such as GPUs and FPGAs. 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.
Cheap, Fast, and Reliable
Fermah is optimized for cheap, fast, and reliable ZK proof generation.
It is architected to make ZKPs the default substrate for all computation.
Universal Proof Generation
Fermah is credibly neutral and architected to support all proof systems. This includes zkVMs, zkEVMs, Groth16, and all other proof systems.
Learn MoreAbstract Away the Complexity of ZK Proofs
Transparent Pricing
Tuned to Your Needs
Credibly Neutral
Data-Protected Proving Delegation
Trusted by the Pioneers of ZK
Professor of Computer Science and Mathematics, UCLA
Cofounder, Polygon and Mozak
COO, Celestia
Founder, Polygon
Founder and CEO, Aztec
Chief Cryptographer, Polyhedra
Professor of Computer Science and Mathematics, UCLA
Cofounder, Polygon and Mozak
COO, Celestia
Founder, Polygon
Founder and CEO, Aztec
Chief Cryptographer, Polyhedra