The Kaspa implementation features a great deal of amazing attributes such as Reachability to query the DAG's topology, Block info pruning (with near-long run programs for block header pruning), SPV proofs, and later https://elainedtwb622983.wikicarrier.com/105308/kas77_no_further_a_mystery