Components

Fermah's network consists of three primary components: Seekers, Matchmaker, and Operators. They interact as follows:

• Seekers send Proof Requests to Matchmaker through an RPC server.

• Matchmaker is connected to all Operators via a peer-to-peer network.

• Deployed proof systems, including their Setup Parameters, Prover image, and Verifier image, are packaged as zipped Docker containers and hosted at CDN URLs.

• Operators receive task assignments from Matchmaker, download the required proof systems specified in the Proof Requests, and compute them.

• Completed proofs are submitted to Seeker's callback URL.