The Kaspa implementation features a large amount of neat features such as Reachability to query the DAG's topology, Block info pruning (with in the vicinity of-potential designs for block header pruning), SPV proofs, https://matteogkst820981.wikijournalist.com/user