The Kaspa implementation features a number of interesting functions for example Reachability to question the DAG's topology, Block info pruning (with around-upcoming designs for block header pruning), SPV proofs, and https://steveqewe272676.bloguetechno.com/considerations-to-know-about-kas77-64573292