- Challenger — defines challenges and economics
- Prover — submits claims
- Verifiers — evaluate and vote
- Ephemeris Providers — publish canonical ephemerides/manifests
- Round Publisher — deterministic bulletin board (liveness-critical in v1, not trust-critical)
- Attestation Providers — anchor round headers on-chain
- Watchers — monitor and dispute inconsistencies