The Kaspa implementation includes a large amount of cool functions such as Reachability to query the DAG's topology, Block facts pruning (with close to-foreseeable future options for block header pruning), SPV proofs, https://adreadgvg890306.bloggadores.com/28786893/kas77-no-further-a-mystery