The Kaspa implementation includes a lots of awesome options for instance Reachability to query the DAG's topology, Block info pruning (with around-potential plans for block header pruning), SPV proofs, and later on https://ellamcsy655032.amoblog.com/a-secret-weapon-for-kas77-50901603