The Kaspa implementation includes a great deal of cool features for example Reachability to query the DAG's topology, Block data pruning (with in close proximity to-upcoming ideas for block header pruning), SPV proofs, https://janecohx841357.celticwiki.com/891462/kas77_fundamentals_explained