The Kaspa implementation includes a number of interesting characteristics including Reachability to query the DAG's topology, Block information pruning (with around-future programs for block header pruning), SPV proofs, https://allentcto377770.activosblog.com/28627921/the-definitive-guide-to-kas77