The Kaspa implementation includes a lot of amazing attributes including Reachability to query the DAG's topology, Block info pruning (with in the vicinity of-long run strategies for block header pruning), SPV proofs, https://minasgha736866.blogoscience.com/35275819/kas77-no-further-a-mystery