The Kaspa implementation includes a lots of cool features for instance Reachability to question the DAG's topology, Block facts pruning (with close to-foreseeable future strategies for block header pruning), SPV proofs, https://dillanzmmv188381.onesmablog.com/the-ultimate-guide-to-kas77-70006086