The Kaspa implementation includes a lot of interesting capabilities like Reachability to query the DAG's topology, Block information pruning (with near-upcoming strategies for block header pruning), SPV proofs, and https://hassanlnwc408369.total-blog.com/everything-about-kas77-54465408