The Kaspa implementation features a number of interesting attributes which include Reachability to query the DAG's topology, Block details pruning (with near-long run strategies for block header pruning), SPV proofs, https://alyshakynx360816.corpfinwiki.com/8380633/not_known_details_about_kas77