The Kaspa implementation features a great deal of cool functions which include Reachability to question the DAG's topology, Block information pruning (with in close proximity to-potential programs for block header pruning), SPV proofs, and later on subnetwork guidance that will make potential implementation of layer 2 options much easier. Kaspa is