The Kaspa implementation features a large amount of neat functions including Reachability to question the DAG's topology, Block knowledge pruning (with close to-potential options for block header pruning), SPV proofs, https://tomasqjxt674795.theobloggers.com/35306052/not-known-facts-about-kas77