The Kaspa implementation includes a lot of interesting functions like Reachability to query the DAG's topology, Block info pruning (with close to-long term programs for block header pruning), SPV proofs, and later https://victorzfrk716951.bloggactif.com/29977447/a-review-of-kas77