The Kaspa implementation includes a lot of great options like Reachability to query the DAG's topology, Block data pruning (with around-potential ideas for block header pruning), SPV proofs, and later on subnetwork https://rajanfpmo652627.blogsumer.com/28809998/helping-the-others-realize-the-advantages-of-kas77