The Kaspa implementation features a lots of awesome features including Reachability to question the DAG's topology, Block data pruning (with around-potential plans for block header pruning), SPV proofs, and later on https://jadakwze047578.sunderwiki.com/891884/little_known_facts_about_kas77