7/ The Prover
The brain of the bridge.
Generates:
💡 Validity proofs (ZK)
⚔️ Fraud proofs (Optimistic)
Critical for bridging, security, and sometimes compression (in SD-based rollups).
Decoupling sequencer & prover is hard, but vital for decentralization.