The Kaspa implementation features a lots of awesome capabilities like Reachability to query the DAG's topology, Block information pruning (with in close proximity to-upcoming ideas for block header pruning), SPV proofs, https://umarpglm253145.thechapblog.com/28739138/kas77-an-overview