The Kaspa implementation features a number of cool functions for instance Reachability to question the DAG's topology, Block data pruning (with close to-future plans for block header pruning), SPV proofs, and later on https://chiaravxnb071086.snack-blog.com/29138406/not-known-details-about-kas77