The Kaspa implementation features a lot of neat features like Reachability to question the DAG's topology, Block facts pruning (with around-foreseeable future strategies for block header pruning), SPV proofs, and later https://cyrusoqjm837648.answerblogs.com/29171659/the-single-best-strategy-to-use-for-kas77