# Network Participants

The Gensyn network uses a Truebit-style incentive game to ensure network participants behave honestly. There are four main participants in the Gensyn ecosystem:

Submitters are compute consumers that provide ML tasks so that they can be computed by the network. These end users pay compute providers for the unites of computational work completed.

Solvers are compute providers that perform the compute work of submitters and generate proofs of their performed work.

The generated proofs of Solvers are checked by Verifiers. Verifiers link the non-deterministic training process of deep learning to a deterministic linear computation. The computational work of Solvers is verified by replicating portions of the proofs submitted by Verifiers and then comparing these with expected thresholds.

Whistleblowers check the work of Verifiers. If discrepancies are found, whistleblowers challenge the verification and receive a jackpot payout if errors are found. Verifiers are then slashed for falsely verifying the compute work of Solvers.

In the next section, we are going to take a look at the typical protocol usage.