The Kaspa implementation includes a number of interesting functions which include Reachability to query the DAG's topology, Block information pruning (with around-long term options for block header pruning), SPV proofs, https://mattiezshk464455.thecomputerwiki.com/5014917/kas77_for_dummies