The Kaspa implementation includes a number of interesting functions for example Reachability to question the DAG's topology, Block details pruning (with around-future ideas for block header pruning), SPV proofs, and https://lewysjqsj268358.wikistatement.com/4200780/kas77_no_further_a_mystery