The Kaspa implementation features a great deal of great capabilities like Reachability to question the DAG's topology, Block information pruning (with in close proximity to-upcoming programs for block header pruning), SPV proofs, and later subnetwork aid which is able to make future implementation o