The Kaspa implementation features a number of neat options like Reachability to question the DAG's topology, Block information pruning (with around-foreseeable future programs for block header pruning), SPV proofs, and https://lewisweng798495.blogminds.com/everything-about-kas77-26946885