The Kaspa implementation features a lot of neat functions such as Reachability to question the DAG's topology, Block facts pruning (with near-future options for block header pruning), SPV proofs, and later on subnetwork https://annieibis193938.spintheblog.com/30041767/the-definitive-guide-to-kas77