The Kaspa implementation features a large amount of awesome capabilities for example Reachability to question the DAG's topology, Block data pruning (with near-potential designs for block header pruning), SPV proofs, https://adamcscr752202.buyoutblog.com/29249357/kas77-no-further-a-mystery