Fermah primary-source snapshot

Last reviewed: 2026-04-27 UTC

Project status snapshot

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.