The Kaspa implementation features a lots of interesting functions including Reachability to query the DAG's topology, Block facts pruning (with around-future ideas for block header pruning), SPV proofs, and afterwards https://kaitlynvykb495587.illawiki.com/user