The Kaspa implementation includes a lot of amazing characteristics including Reachability to question the DAG's topology, Block knowledge pruning (with in the vicinity of-foreseeable future designs for block header pruning), SPV proofs, and later on subnetwork support which will make foreseeable future implementation of layer two answers a lot easi