The Kaspa implementation features a large amount of amazing features such as Reachability to query the DAG's topology, Block facts pruning (with in the vicinity of-potential ideas for block header pruning), SPV proofs, https://hassansecu776736.webbuzzfeed.com/29722667/getting-my-kas77-to-work