The Kaspa implementation includes a large amount of amazing features such as Reachability to query the DAG's topology, Block facts pruning (with around-long run ideas for block header pruning), SPV proofs, and later https://umarhczi730408.nizarblog.com/29834045/the-best-side-of-kas77