The Kaspa implementation includes a number of interesting functions like Reachability to query the DAG's topology, Block information pruning (with close to-long run designs for block header pruning), SPV proofs, and https://kaleadjn706760.blogoxo.com/29321944/new-step-by-step-map-for-kas77