The Kaspa implementation includes a lot of great options for example Reachability to question the DAG's topology, Block information pruning (with in the vicinity of-future plans for block header pruning), SPV proofs, and later subnetwork assist which can make long term implementation of layer 2 alte