The Kaspa implementation features a lots of awesome capabilities which include Reachability to question the DAG's topology, Block knowledge pruning (with around-long term plans for block header pruning), SPV proofs, and https://esmeetrkn755853.blogmazing.com/29176608/not-known-factual-statements-about-kas77