The Kaspa implementation includes a large amount of cool capabilities for example Reachability to question the DAG's topology, Block knowledge pruning (with around-potential ideas for block header pruning), SPV proofs, https://socialinplace.com/story3297652/the-kas77-diaries