The Kaspa implementation features a lot of awesome capabilities for instance Reachability to query the DAG's topology, Block data pruning (with close to-long run plans for block header pruning), SPV proofs, and later on https://mypresspage.com/story3383874/the-kas77-diaries