The Kaspa implementation includes a wide range of awesome functions including Reachability to query the DAG's topology, Block data pruning (with close to-future plans for block header pruning), SPV proofs, and later on https://brendalndr918085.liberty-blog.com/29298237/indicators-on-kas77-you-should-know