Component that generates validity proofs (e.g., zk‑SNARKs) attesting to correct state transitions in a rollup, verified on Layer 1.