The Kaspa implementation includes a lot of awesome functions for instance Reachability to question the DAG's topology, Block info pruning (with near-future plans for block header pruning), SPV proofs, and later https://bookmarkfox.com/story3415085/5-simple-techniques-for-kas77