The Kaspa implementation features a lots of awesome functions including Reachability to query the DAG's topology, Block info pruning (with near-long term programs for block header pruning), SPV proofs, and later on https://alyssacmaj232164.wikicommunications.com/4608990/the_best_side_of_kas77