The Kaspa implementation features a number of amazing capabilities for example Reachability to question the DAG's topology, Block knowledge pruning (with near-upcoming designs for block header pruning), SPV proofs, and https://lewysvqjr470066.wikienlightenment.com/7130005/not_known_details_about_kas77