The Kaspa implementation includes a lot of cool capabilities for example Reachability to query the DAG's topology, Block info pruning (with in close proximity to-future strategies for block header pruning), SPV proofs, https://bookmarktiger.com/story17956536/top-kas77-secrets