The Kaspa implementation includes a lot of interesting capabilities which include Reachability to question the DAG's topology, Block information pruning (with near-future options for block header pruning), SPV proofs, https://bookmarkextent.com/story19549496/the-5-second-trick-for-kas77