The Kaspa implementation features a lots of great options which include Reachability to question the DAG's topology, Block data pruning (with in the vicinity of-long term designs for block header pruning), SPV proofs, https://victorsiyp311073.verybigblog.com/28811637/kas77-options