The Kaspa implementation features a lot of great features like Reachability to question the DAG's topology, Block facts pruning (with in close proximity to-foreseeable future ideas for block header pruning), SPV proofs, https://deborahhcio864088.rimmablog.com/29211216/a-simple-key-for-kas77-unveiled