The Kaspa implementation features a lot of cool attributes which include Reachability to query the DAG's topology, Block details pruning (with in close proximity to-upcoming ideas for block header pruning), SPV proofs, https://oisimzcd840265.wikikali.com/user