Fermah primary-source snapshot
Last reviewed: 2026-04-27 UTC
Project status snapshot
- Official site: https://fermah.xyz/
- Docs root: https://docs.fermah.xyz/
- Proof explorer: https://explorer.fermah.xyz/
- Status page: https://status.fermah.xyz/
- GitHub org: https://github.com/fermah-xyz
What the official materials say
1) Homepage / product framing
- URL: https://fermah.xyz/
- Key takeaways:
- Fermah currently brands itself as “The Programmable Infrastructure Layer,” but the live documentation makes clear that the active product today is the ZK Proof Market
- The landing materials pair this with Flashcast Social and Marina as broader product ambitions, which suggests the company wants a larger execution-layer narrative than proof serving alone
- The most concrete and operationally legible surface is still the proof-market stack, not the broader marketing slogan
2) Docs hub
- URL: https://docs.fermah.xyz/
- Key takeaways:
- The docs hub explicitly lists the ZK Proof Market as live, while Flashcast Social and Marina are marked “coming soon”
- This is a useful scoping clue: the library should catalog Fermah primarily around proof-generation infrastructure, not around unfinished adjacent products
- The docs repo README also confirms the multi-product architecture and the
/network/path as the live product surface
3) Network overview
- URL: https://docs.fermah.xyz/network
- Key takeaways:
- Fermah describes itself as a universal proof market connecting proof demand with supply-side GPU machines operated by EigenLayer operators
- The overview emphasizes three core ideas: intelligent orchestration, lean mechanism design, and universal proving across proof systems, chains, and VMs
- This is the clearest single page for categorizing Fermah as marketplace-style proof infrastructure rather than a generic ZK company
4) Components / architecture
- URL: https://docs.fermah.xyz/network/network/components
- Key takeaways:
- Fermah’s architecture is described using seekers, Fermah Core, and prover nodes
- Proof requests flow from seekers into Core, then out to prover nodes running prover binaries; completed proofs are stored and returned via callback flows
- This page is valuable because it turns the company’s proof-market rhetoric into an actual operating model
5) Mainnet operator docs
- URL: https://docs.fermah.xyz/network/mainnet
- Key takeaways:
- The mainnet docs show Fermah has an operator-facing proving network with installation, configuration, node registration, secrets, telemetry, and startup guides
- The docs require a whitelisted Ethereum address and refer operators to EigenLayer operator setup, indicating Fermah is bootstrapping on top of that operator base rather than pretending to be fully standalone from day one
- The hardware requirements are concrete and GPU-heavy, reinforcing that this is practical proving infrastructure rather than abstract protocol documentation
6) Universal proof market thesis
- URL: https://fermah.xyz/blog/the-universal-proof-market-a-critical-ingredient-for-the-zk-endgame
- Key takeaways:
- Fermah argues the key ZK bottleneck is no longer only proof-system design, but the cost/time inefficiencies of proving execution and machine utilization
- The post defines the “universal proof market” as an orchestration and allocation layer that improves utilization, speed, and developer experience
- The article is helpful because it spells out the economic thesis in Fermah’s own words rather than leaving only abstract infrastructure branding
7) ZKsync case study
- URL: https://fermah.xyz/blog/case-study-how-fermah-proves-blocks-for-zksync
- Key takeaways:
- Fermah claims it is working with ZKsync to prove blocks, presenting the relationship as proof that the proof-market model is usable for real production-scale workloads
- The company says its workflow system abstracts the complexity of multi-actor proving systems into simpler request-driven flows
- Even if marketing language should be treated cautiously, this is still a strong primary-source signal that Fermah wants to be understood as outsourced proof-generation infrastructure for major ZK chains
8) Status page
- URL: https://status.fermah.xyz/
- Key takeaways:
- Fermah publishes a live status page showing runtime uptime and service state
- The status page also notes testnet capacity constraints around prover nodes, which is operationally interesting because it implies active network management and demand/supply balancing
- Public status infrastructure is another sign that Fermah is operating as a service layer, not only as a research brand
Whitepaper / technical-doc status
- No canonical Fermah whitepaper or litepaper was found in this pass.
- The best primary-source corpus is the docs site, operator/mainnet docs, architecture pages, thesis blog posts, status page, and docs repo.
- The docs repo README is useful because it clarifies which products are live versus aspirational.
Research notes
- Best current category for the library: universal proof market / proof-generation infrastructure / zk compute orchestration.
- The key insight is that Fermah’s strongest signal is not a standalone protocol paper but the combination of operator docs, marketplace framing, and concrete ZKsync proving claims.
- This makes Fermah a good example of a long-tail infra project whose live operational docs are more informative than a missing whitepaper.