The Kaspa implementation features a lots of neat options for instance Reachability to query the DAG's topology, Block information pruning (with around-potential options for block header pruning), SPV proofs, and later https://henridlhi359516.spintheblog.com/28819822/a-review-of-kas77