The Kaspa implementation features a lot of awesome attributes which include Reachability to question the DAG's topology, Block info pruning (with around-future ideas for block header pruning), SPV proofs, and later on https://idaksvd228108.mysticwiki.com/888275/kas77_fundamentals_explained