The Kaspa implementation includes a great deal of amazing functions like Reachability to query the DAG's topology, Block knowledge pruning (with near-long term plans for block header pruning), SPV proofs, and later on https://darrenubmu385854.wikitron.com/908443/helping_the_others_realize_the_advantages_of_kas77