The Kaspa implementation features a wide range of amazing attributes which include Reachability to question the DAG's topology, Block info pruning (with close to-long term designs for block header pruning), SPV proofs, https://saulypnx914257.blogunteer.com/28614014/everything-about-kas77