The Kaspa implementation includes a lot of interesting capabilities like Reachability to query the DAG's topology, Block data pruning (with close to-foreseeable future ideas for block header pruning), SPV proofs, and https://adreadgvg890306.bloggadores.com/28786893/kas77-no-further-a-mystery