The Kaspa implementation includes a number of awesome features including Reachability to question the DAG's topology, Block details pruning (with in the vicinity of-potential designs for block header pruning), SPV proofs, and later subnetwork support which will make foreseeable future implementation of layer 2 solutions less difficult. Kaspa is un