The Kaspa implementation features a lot of awesome features such as Reachability to query the DAG's topology, Block info pruning (with near-long run strategies for block header pruning), SPV proofs, and later subnetwork https://blakelilm473395.blogproducer.com/35591028/examine-this-report-on-kas77