Introduction
Key Terms and Concepts
Network Architecture
Fermah's network consists of the following types of nodes:
The whitelisted users of Fermah that can submit Proof Requests.
The nodes that generate proofs for the Proof Requests assigned to them. They run the Prover algorithm of the proof system corresponding to the given proof request. In Testnet, Prover Nodes only consist of EigenLayer Operators. The Operators currently run GPUs and CPUs. Future phases will involve expanding Prover Nodes to include machines such as FPGAs and VPUs.
The orchestrator that receives proof requests from Seekers and assigns them to capable Prover Nodes.
Zero-Knowledge Proof System
A proof system is a triple consisting of Setup Parameters, Prover, and Verifier.
A reference string used by Prover and Verifier algorithms, typically generated through a setup ceremony.
An algorithm that generates a proof that a given computation is performed correctly. The Prover takes as input the setup parameters, as well as the computation itself.
An algorithm that verifies a proof. Besides Setup parameters and the proof to be verified, the Verifier takes a short representation of the computation as the input, called a verifying key.
Virtual Machine Components
A proof system in which the Prover algorithm is generic across a large class of computations. This is in contrast with computation-specific proof systems, where the Prover algorithm is for a specific computation and the Prover algorithm only takes the inputs/outputs of that computation.
A virtual machine that generates proofs of correct execution of Ethereum smart contracts.
Infrastructure Components
Docker images that contain the executable for running a Prover/Verifier respectively.
Cryptoeconomic Security Model
Below are terms pertaining to the cryptoeconomic security methodology that Fermah will employ to incentivize Prover Nodes to fulfill their assigned proof requests.
Restaking allows validators on blockchains like Ethereum and Solana to redeploy their staked cryptocurrency across other services, called Actively Validated Services (AVSs).
EigenLayer creates a marketplace that connects restakers with AVSs.