The Kaspa implementation includes a number of cool features like Reachability to question the DAG's topology, Block knowledge pruning (with near-upcoming ideas for block header pruning), SPV proofs, and afterwards https://bookmarkport.com/story20059584/considerations-to-know-about-kas77