Fermah
Fermah is a New York-based ZK infrastructure company that operates Fermah Froben, a universal proof generation marketplace for zero-knowledge systems, and Fermah Kernel, an autonomous workflow execution engine that enables crypto protocols to execute trustlessly without human intervention, serving ZK infrastructure teams and crypto protocols.
- Company typePrivate
- Founded2024
- HeadquartersNew York, United States
- Headcount11–50
- GTM typeB2B
- OfferingSoftware
What Fermah does
Fermah is a New York-based cryptocurrency infrastructure company founded in 2024 that operates a universal proof generation layer for zero-knowledge (ZK) systems. The platform is anchored by Fermah Kernel, an autonomous workflow execution engine that runs application-specific logic against a fixed library of typed primitives inside sandboxed containers and publishes cryptographically attested results on-chain. On top of Kernel, the company runs Fermah Froben, a two-sided marketplace that matches ZK proof demand (zkVMs, zkEVMs, Groth16) against distributed GPU supply operated primarily by EigenLayer restaking operators, and Flashcast Social, a prediction market product in private beta that creates markets from natural-language questions in roughly three seconds with automated, committee-free resolution.
The business sells to two primary customer segments: ZK infrastructure teams building rollups and zkEVMs who need cheap, fast, reliable proof generation, and crypto protocols that need trustless, autonomous workflow execution and oracle services. Monetization combines usage-based fees on the proof marketplace with subscription/SLA contracts for enterprise Kernel deployments. Distribution is product-led and developer-first through technical documentation, a public proof explorer, a Discord community, and ecosystem integrations with ZKsync, Scroll, Aligned, zkVerify, EigenLayer, and other ZK infrastructure providers.
The company is privately held, employs 1–10 people, and is led by founder Vanishree Rao (cryptography background, PhD advised by Amit Sahai) and CTO Patricio Napoli, who architected the proof market and Kernel from inception. Fermah is backed by a16z crypto, Lemniscap, Bankless Ventures, LambdaClass, and other crypto-focused funds, and has closed a $5.2M seed round. Reported network metrics include 2.5M+ tasks completed, 5,207 machines across 12 active provers, and a 99.7% 24-hour success rate on proof generation.
Fermah firmographics
Firmographics- Name
- Fermah
- Legal name
- Fermah
- Website
- https://fermah.xyz
- Company type
- Private
- Founded year
- 2024
- Operating status
- Operating
- Headcount range
- 11–50 employees
- Short description
- Fermah is a New York-based ZK infrastructure company that operates Fermah Froben, a universal proof generation marketplace for zero-knowledge systems, and Fermah Kernel, an autonomous workflow execution engine that enables crypto protocols to execute trustlessly without human intervention, serving ZK infrastructure teams and crypto protocols.
- Ownership category
- akta.pro rank
Fermah industry classification
Industry- Product category
- Blockchain Infrastructure
- NAICS
- Custom Computer Programming Services (541511), Computer Systems Design and Related Services (54151)
- SIC
- Security & Commodity Brokers, Dealers, Exchanges & Services (6200)
- akta.pro primary industry
- Decentralized Data Availability & Storage Verification (DA layers, proofs of storage/replication, audit networks) (FSAPALAH)
- akta.pro secondary industry
- Prediction Markets & Information Finance (FSADAMAJ)
Keywords
Where Fermah is headquartered
LocationHeadquarters
- HQ city
- New York
- HQ country
- United States
- HQ region
- North America
Markets served
Fermah business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Technology or R&D, Infrastructure, Personnel, Marketing or Sales, Operations
Revenue model
- Fermah Froben Proof Marketplace: Usage-based revenue from ZK proof generation marketplace. GPU operators provide compute, Fermah takes a fee for matchmaking and orchestration. Transparent pricing with SLAs available for teams requiring reliability guarantees.
- Fermah Kernel Enterprise: Enterprise deployments of workflow execution engine for protocols requiring trustless autonomous execution. Contact-based pricing for custom SLA arrangements.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Usage-based | Pay-as-you-go | Fermah Froben - Universal Proof Generation |
| Subscription | Multi-year contract | Fermah Froben with SLA guarantees |
Go-to-market motion1 record
Distribution channels3 records
Marketing channels6 records
Fermah product offering
Product offeringCore offering
Fermah builds and operates a universal ZK proof generation layer comprising Fermah Kernel, an autonomous workflow execution engine that runs deterministic logic in sandboxed environments with on-chain cryptographic attestation, and Fermah Froben, a two-sided marketplace that routes zero-knowledge proof workloads to a distributed network of GPU operators with intelligent matchmaker-based orchestration. Built on this foundation, Fermah also delivers Flashcast Social, a consumer-facing prediction market product that turns natural language questions into on-chain markets with automated resolution.
Product overview
Fermah is a Protocol Agency that has solved the last human bottleneck in crypto. The company operates a platform architecture centered on Fermah Kernel, the core autonomous workflow execution engine that powers all products. Fermah Kernel provides trustless off-chain computation by executing workflows in sandboxed environments with cryptographic verification on-chain. Built on this kernel are two primary products: Fermah Froben, a universal ZK proof marketplace connecting proof demand with GPU operator supply, supporting any proof system, chain, or VM; and Flashcast Social, a prediction market product that generates markets from natural language questions with instant resolution. Additional products include Fermah Explorer for network monitoring and Marina (forthcoming) for privacy-preserving data infrastructure.
Differentiator
Problem solved
Functional benefit
Brands
- Fermah Kernel: Workflow execution engine for autonomous processes - the core technology powering Fermah's products.
- Fermah Froben
- Flashcast Social
- Asymptote
Products and services
- Fermah Kernel Autonomous workflow execution engine that enables smart contracts and applications to execute arbitrary off-chain logic in trustless, sandboxed environments with cryptographic verification on-chain. Designed for smart contracts and AI agents that need to observe events, run conditional logic, and publish verifiable results without centralized servers, cron jobs, or private-key holders.
- Fermah Froben Universal proof marketplace for zero-knowledge proof generation that connects proof demand with GPU operator supply. Supports any proof system, any chain, and any VM including zkVMs, zkEVMs, and Groth16, with SLA options for teams requiring guaranteed reliability and credible neutrality.
- Flashcast Social Prediction market product where markets are generated from natural language questions, live within 3 seconds, and resolve automatically on-chain when events occur. Targets prediction market builders seeking instant creation and resolution with no committee or 48-hour dispute window.
- Fermah Explorer Block explorer and monitoring dashboard for the Fermah proof network providing real-time visibility into proof tasks, prover operators, machine status, workflow executions, and network statistics such as 5,207 machines, 12 active provers, 99.7% success rate, and 3.8 proofs per hour.
Quantifiable outcome
- 99.7% success rate (24h)
- +4 more outcomes
Companies that use Fermah
Customer profileSegments3 records
Ideal customer profiles3 records
Fermah technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- Yes
- API docs
- API detail
Core technology
AI maturity
App detail
AI capability6 records
Feature7 records
Fermah partnerships and signals
Strategic signalPartnerships
Five partnerships are on record, tiered core.
- ZKsynccoreMajor zkEVM Layer 2. Fermah provides ZK proof generation services for ZKsync Era. Fermah Froben supports ZKsync proof systems including ZKsyncCircuitProver, ZKsyncWitnessGenerator, and ZKsyncCompressor.
- ScrollcorezkEVM Layer 2. Listed as a trusted partner in Fermah's partner ecosystem for proof generation.
- AlignedcoreZK verification layer. Listed as a trusted partner in Fermah's partner ecosystem.
- zkVerifycoreZK proof verification infrastructure. Listed as a trusted partner in Fermah's partner ecosystem.
- EigenLayercoreRestaking protocol. GPU machines on Fermah network are operated by EigenLayer Operators, providing the restaking security model for the proving infrastructure.
Scale indicators10 records
Recent moves6 records
Expansion highlights6 records
Fermah competitors and assessment
Company assessmentDirect peers
- Boundless: Direct competitor building a universal ZK proof marketplace with similar goals to Fermah Froben — proof-system-agnostic prover network for rollups and ZK applications. Also listed as a Fermah partner, highlighting how directly comparable the two are.
- Succinct: Building a decentralized prover network for ZK proof generation with a marketplace model. Directly competes with Fermah Froben for the same proof demand from rollups and zk-app teams.
- Lagrange: Operates a ZK proof generation network and coprocessor infrastructure. Comparable to Fermah Froben in providing distributed proving as a service for cross-chain and rollup workloads.
- RISC Zero: zkVM-based proof generation platform (Bonsai, zkMIPS) enabling verifiable off-chain compute. Closely comparable to Fermah's Kernel-plus-Froben stack for trustless off-chain execution and proof delivery.
- Axiom: ZK coprocessor for smart contracts providing trustless off-chain computation with onchain verification. Overlaps with Fermah Kernel's value prop of verifiable off-chain workflow execution.
- Aligned Layer: ZK proof verification layer aggregating proofs from multiple proving systems. Listed as both a Fermah partner and an adjacent player in the ZK infrastructure stack with overlapping prover demand.
Broad incumbents
- Celestia: Modular blockchain providing data availability and consensus for rollups. Broader crypto-infrastructure incumbent with overlapping developer mindshare but different core focus than Fermah's proving layer.
- Polygon Zero / Polygon Miden: zkEVM and zkVM-based scaling solutions from Polygon. Broader incumbent in the ZK scaling space whose proving demand Fermah serves, making them both partner and adjacent competitor.
Others
- EigenLayer: Restaking protocol whose operators provide Fermah's GPU supply side. Not a direct competitor but a critical infrastructure dependency — and Fermah is effectively an AVS consumer.
- Aztec: Privacy-focused zk-rollup whose CMO publicly endorses Fermah. Comparable as a ZK-native protocol building on similar cryptography and as a potential proof demand source for Fermah Froben.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat5 records
Key risks6 records
Key highlights7 records
Customer concentration
Fermah social profiles
Digital presenceFermah financial estimates
Financial estimateRevenue estimate
Valuation estimate
Fermah leadership team
Management profileNumber of profiles
Profiles2 records
Fermah funding detail
Funding detailFunding overview
Funding rounds1 record
Investors12 records
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Fermah M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Fermah
What does Fermah do?
Fermah builds and operates a universal ZK proof generation layer comprising Fermah Kernel, an autonomous workflow execution engine that runs deterministic logic in sandboxed environments with on-chain cryptographic attestation, and Fermah Froben, a two-sided marketplace that routes zero-knowledge proof workloads to a distributed network of GPU operators with intelligent matchmaker-based orchestration. Built on this foundation, Fermah also delivers Flashcast Social, a consumer-facing prediction market product that turns natural language questions into on-chain markets with automated resolution.
Is Fermah a public or private company?
Fermah is a private company. It is classified as venture growth investor backed and is currently operating.
When was Fermah founded?
Fermah was founded in 2024. It employs 11 to 50 people.
Where is Fermah based?
Fermah is headquartered in New York, United States, in the North America region.
How does Fermah make money?
Two revenue lines are on record. Fermah Froben Proof Marketplace is the primary driver. The others are fermah Kernel Enterprise.
Who are Fermah's main competitors?
Direct peers on record are Boundless, Succinct, Lagrange, RISC Zero, Axiom and Aligned Layer. Broad incumbents are Celestia and Polygon Zero / Polygon Miden. Others are EigenLayer and Aztec.
Does Fermah have an API?
Yes. Fermah provides API access for submitting ZK proof workflows, delegating tasks to the operator network, and accessing proof generation services. The documentation states 'API Reference Soon', indicating the API exists but full reference documentation is forthcoming. Developers can interact with the platform programmatically to submit proof requests, monitor workflow execution, and retrieve results.
What industry is Fermah in?
Fermah's product category is Blockchain Infrastructure. Its primary akta.pro industry code is FSAPALAH, Decentralized Data Availability & Storage Verification (DA layers, proofs of storage/replication, audit networks), with a secondary code of FSADAMAJ, Prediction Markets & Information Finance. Its NAICS code is 541511 and its SIC code is 6200.