The Kaspa implementation features a lot of awesome options including Reachability to query the DAG's topology, Block info pruning (with in close proximity to-future designs for block header pruning), SPV proofs, and https://myabjfr165903.webbuzzfeed.com/29721773/not-known-details-about-kas77