The Kaspa implementation features a lot of neat features for instance Reachability to question the DAG's topology, Block knowledge pruning (with around-long run designs for block header pruning), SPV proofs, and later https://tasneemrkfb298899.muzwiki.com/7090667/5_easy_facts_about_kas77_described