The Kaspa implementation features a number of awesome functions like Reachability to query the DAG's topology, Block facts pruning (with around-future ideas for block header pruning), SPV proofs, and later subnetwork https://alyshatpdy293590.wonderkingwiki.com/918547/the_5_second_trick_for_kas77