The Kaspa implementation features a large amount of interesting characteristics for instance Reachability to query the DAG's topology, Block data pruning (with near-future designs for block header pruning), SPV proofs, https://saadbaar944042.answerblogs.com/29377192/kas77-an-overview