The Kaspa implementation includes a lot of cool options such as Reachability to question the DAG's topology, Block facts pruning (with near-future designs for block header pruning), SPV proofs, and afterwards subnetwork https://socialaffluent.com/story3362368/the-5-second-trick-for-kas77