The Kaspa implementation features a lot of interesting options including Reachability to question the DAG's topology, Block facts pruning (with in the vicinity of-long run ideas for block header pruning), SPV proofs, https://deaconmjdl805079.angelinsblog.com/28764219/getting-my-kas77-to-work