The Kaspa implementation features a number of cool functions which include Reachability to question the DAG's topology, Block information pruning (with around-upcoming programs for block header pruning), SPV proofs, and https://sb-bookmarking.com/story18046415/the-definitive-guide-to-kas77