The Kaspa implementation features a number of cool features such as Reachability to question the DAG's topology, Block data pruning (with close to-upcoming programs for block header pruning), SPV proofs, and later on https://ihannanziz261337.pennywiki.com/4099232/the_single_best_strategy_to_use_for_kas77