Verifier-only clients are practical in recursive SNARK systems when the protocol exposes canonical state commitments, a well-specified transition proof with stable public inputs, and APIs that serve proofs plus small inclusion witnesses. Checkpointing can reduce sync time and operational complexity, but it introduces explicit trust and finality assumptions that clients must model and enforce rather than gloss over.