From proofs to markets.

Our story

1. It started with math.

   Vanishree Rao has built zero-knowledge proof systems since 2006, including a PhD in cryptography at UCLA. Fermah started with one goal: make proofs easy to get.

2. 4.2M proofs generated

   • Froben

   A market for proofs.

   Froben let anyone order a ZK proof. Provers competed to make it. 4.2M proofs generated.

3. • Kernel

   The engine underneath.

   Every proof was a job: split it, wait, combine, deliver. We built Kernel to run that. Then we saw most useful processes look the same.

4. 285K markets in 8 weeks

   • Kernel

   285K markets in 8 weeks.

   On Flashcast, anyone could tweet a question and it became a market. Kernel settled 285K of them. No resolution team.

5. • ULTRAMINT
   • Fermah Protocol
   • Fermah Pay

   Real stakes.

   ULTRAMINT puts money on markets. Fermah Protocol lets anyone launch a market platform in a day. Fermah Pay lets agents pay as they go.

6. Internet of Onchain Markets.

   If it can be measured, it can be a market.

Our names along the way: Prover Network, Fermat Layer, Fermah.