Fermah Testnet is currently accepting operator applications. Please follow the onboarding steps below to join Fermah's universal proof market network.

Introduction to Fermah

Fermah is a universal proof market that makes ZK adoption easy for any chain, any VM, and any proof system by removing the painful operating hurdles of proof generation. We provide a one-stop solution for cheap and fast proof generation by combining novel resource allocation protocols, WebAssembly-based workflow management, and robust economic incentives.

Our marketplace connects the supply side (high-performance machines with GPUs) with the demand side (applications requiring zero-knowledge proofs). This creates an efficient ecosystem where proof generation resources are optimally allocated to meet market needs.

System Architecture

Network Components

React Flow

Key Components

Prover Nodes

Responsible for receiving proof requests
Execute proofs through appropriate executors
Store outputs in the Storage Layer

Core

Manages workflow orchestration
Handles distribution of work delegation
Calculates optimal pricing for each task
Communicates with on-chain asset logic

Workflow Engine

Enables composition of complex proof generation pipelines
Utilizes WebAssembly for platform-independent operation
Dynamically adapts to network conditions and proof requirements
Optimizes task allocation based on available resources

Trustless Resource Commitments

Ensures optimal resource utilization through benchmarking
Validates node capabilities across multiple dimensions
Continuously adapts to changing network conditions

Network Achievements

Nov 30

Jan 23

500000

As of January 2024, Fermah has successfully computed over 780,000 proofs on our testnet!

Become a Fermah Testnet Operator

Are you interested in running a Prover Node and contributing to the network? We're looking for operators with:

High-performance hardware (GPUs, FPGAs)
Reliable infrastructure
Commitment to network security
Experience with zero-knowledge proofs
EigenLayer integration capabilities

Hardware Requirements

Component	Minimum Specification	Recommended Specification
CPU	32 cores	32+ cores
RAM	128 GB	128+ GB
Storage	375 GB NVMe SSD	1+ TB NVMe SSD
GPU	24GB VRAM Cuda-based GPU	24GB VRAM Cuda-based GPU
Network	250 Mbps	1+ Gbps

Deployment Requirements

Ability to deploy to Ethereum testnet environments
EigenLayer testnet operator status
Signing capabilities (local key import or remote signing)
Support for implementation via Supervisord/Systemd, Docker Compose, or Kubernetes

Supported LSTs

Fermah supports various liquid staking tokens (LSTs) for operator staking through EigenLayer:

Natively Staked Ether (ETH)
Lido Staked Ether (sETH)
Rocket Pool Ether (rETH)
StakeWise Staked Ether (osETH)
Staked Frax Ether (sfrxETH)
And more

Apply Now

Complete our operator onboarding survey to get started:

After submitting your application, our team will review your qualifications and contact you within 2-3 business days.

Implementation Options

Fermah supports multiple implementation options for your prover node infrastructure:

Implementation	Description
Supervisord/Systemd	Traditional service management for Linux systems
Docker Compose	Container-based deployment with easy configuration
Kubernetes	Orchestration for large-scale deployments

Roadmap

Achieved Milestones

August 2024: Deployed the initial version
August → October 2024: Onboarded over 20 Prover Nodes
October → November 2024: Developed the workflow mechanism for the next version
November 2024: Began implementing the workflow design to support the ZkSync proving system
January 2024: Successfully computed over 780,000 proofs
March 2025: Deploy workflow mechanism to testnet
March 2025: Generated proofs for zkSync

Next 12 Months

Q3 2025: Add support for Confidential Proof Delegation (CPD)
Q3 2025: Generate proofs for Scroll
Q4 2025: Deploy to mainnet

Join our community to help build the future of zero-knowledge proof infrastructure!

Get Support

Join our Discord community
Contact our team for technical assistance