The Kaspa implementation features a lot of neat options including Reachability to question the DAG's topology, Block facts pruning (with close to-long run strategies for block header pruning), SPV proofs, and later https://emiliejurc769914.corpfinwiki.com/8380564/not_known_facts_about_kas77