The Kaspa implementation includes a large amount of cool capabilities for instance Reachability to query the DAG's topology, Block info pruning (with in close proximity to-potential designs for block header pruning), SPV proofs, and later subnetwork support that may make long term implementation of layer 2 methods much simpler. If you're thinking