The Kaspa implementation includes a lots of cool functions for example Reachability to question the DAG's topology, Block details pruning (with in close proximity to-future plans for block header pruning), SPV proofs, https://pennyxqyv079994.wikilima.com/776175/kas77_fundamentals_explained