The Kaspa implementation includes a lot of neat functions including Reachability to question the DAG's topology, Block facts pruning (with near-upcoming ideas for block header pruning), SPV proofs, and later on https://steveqewe272676.bloguetechno.com/considerations-to-know-about-kas77-64573292