The Kaspa implementation features a number of great options including Reachability to question the DAG's topology, Block info pruning (with near-long term ideas for block header pruning), SPV proofs, and afterwards https://adrianaiwzk142008.wikilima.com/user