The Kaspa implementation includes a great deal of neat capabilities such as Reachability to query the DAG's topology, Block details pruning (with near-long term ideas for block header pruning), SPV proofs, and later on https://qasimkpvk292463.wikifordummies.com/8085017/kas77_an_overview