The Kaspa implementation features a lot of neat functions including Reachability to question the DAG's topology, Block knowledge pruning (with near-upcoming options for block header pruning), SPV proofs, and afterwards https://barryeuzt526857.blogsvila.com/29320590/how-kas77-can-save-you-time-stress-and-money