The Kaspa implementation features a great deal of cool options for example Reachability to question the DAG's topology, Block info pruning (with in close proximity to-future plans for block header pruning), SPV proofs, https://bookmarkcitizen.com/story18010086/a-simple-key-for-kas77-unveiled