The Kaspa implementation features a large amount of cool options like Reachability to question the DAG's topology, Block info pruning (with near-long run ideas for block header pruning), SPV proofs, and later on https://haarisrwgb160773.oneworldwiki.com/6174457/5_simple_techniques_for_kas77