The Kaspa implementation includes a number of great characteristics like Reachability to question the DAG's topology, Block knowledge pruning (with close to-long term designs for block header pruning), SPV proofs, and https://hassanlnwc408369.total-blog.com/everything-about-kas77-54465408