The Kaspa implementation features a large amount of great capabilities including Reachability to query the DAG's topology, Block details pruning (with around-upcoming strategies for block header pruning), SPV proofs, https://zakariatnlz926289.ktwiki.com/890722/not_known_details_about_kas77