The Kaspa implementation includes a number of interesting capabilities like Reachability to query the DAG's topology, Block information pruning (with close to-long term strategies for block header pruning), SPV proofs, https://shaunawhfy456260.bmswiki.com/4648882/new_step_by_step_map_for_kas77