The Kaspa implementation features a large amount of interesting capabilities including Reachability to query the DAG's topology, Block details pruning (with near-long run designs for block header pruning), SPV proofs, https://bushraevep387078.wikijm.com/user