The Kaspa implementation includes a large amount of awesome characteristics like Reachability to query the DAG's topology, Block knowledge pruning (with in close proximity to-potential designs for block header pruning), SPV proofs, and afterwards subnetwork support which is able to make long term implementation of layer 2 options less of a challeng