The Kaspa implementation features a number of neat functions such as Reachability to query the DAG's topology, Block info pruning (with near-foreseeable future designs for block header pruning), SPV proofs, and later on https://lawsonpoad430583.pages10.com/not-known-details-about-kas77-64825581