The Kaspa implementation features a lots of amazing functions including Reachability to question the DAG's topology, Block knowledge pruning (with close to-potential plans for block header pruning), SPV proofs, and https://violaochv561932.blogsidea.com/35207380/the-best-side-of-kas77