The Kaspa implementation features a lot of cool attributes which include Reachability to query the DAG's topology, Block facts pruning (with near-upcoming designs for block header pruning), SPV proofs, and later https://amaanhvik686535.wikirecognition.com/908224/considerations_to_know_about_kas77