The Kaspa implementation includes a lot of great features for example Reachability to query the DAG's topology, Block facts pruning (with in close proximity to-long term designs for block header pruning), SPV proofs, https://declanyawa036866.blogdigy.com/the-2-minute-rule-for-kas77-44299375