The Kaspa implementation includes a number of interesting attributes which include Reachability to question the DAG's topology, Block info pruning (with near-potential strategies for block header pruning), SPV proofs, https://flynnhipy298701.wikibriefing.com/2789182/facts_about_kas77_revealed