The Kaspa implementation features a number of neat features which include Reachability to question the DAG's topology, Block info pruning (with in the vicinity of-long term ideas for block header pruning), SPV proofs, https://minibookmarks.com/story17983666/examine-this-report-on-kas77