The Kaspa implementation includes a large amount of cool features including Reachability to query the DAG's topology, Block facts pruning (with close to-long term strategies for block header pruning), SPV proofs, and afterwards subnetwork assistance which is able to make upcoming implementation of l