The Kaspa implementation features a lots of great capabilities like Reachability to question the DAG's topology, Block data pruning (with close to-potential programs for block header pruning), SPV proofs, and later https://bookmarkstown.com/story18200733/detailed-notes-on-kas77