The Kaspa implementation includes a lot of amazing features for instance Reachability to query the DAG's topology, Block info pruning (with in close proximity to-potential designs for block header pruning), SPV proofs, https://maesqyf327824.wikistatement.com/4200860/kas77_no_further_a_mystery