The Kaspa implementation includes a great deal of interesting features such as Reachability to question the DAG's topology, Block knowledge pruning (with around-long term designs for block header pruning), SPV proofs, and later on subnetwork guidance which is able to make long term implementation of layer two answers much easier. If you think this