The Missing Piece to Bring Moon Math to the Masses
Introducing the Universal Proof Market
.png)
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

