The Kaspa implementation features a number of neat capabilities such as Reachability to query the DAG's topology, Block information pruning (with around-long run designs for block header pruning), SPV proofs, and later https://lexielcci053201.mpeblog.com/52682868/a-review-of-kas77