The Kaspa implementation includes a lot of amazing options for example Reachability to question the DAG's topology, Block info pruning (with around-future ideas for block header pruning), SPV proofs, and later on https://louisekbwl131157.onzeblog.com/29202948/getting-my-kas77-to-work