The Kaspa implementation features a lot of cool options for instance Reachability to query the DAG's topology, Block information pruning (with near-foreseeable future ideas for block header pruning), SPV proofs, and https://joycefjvw020591.techionblog.com/29232226/kas77-fundamentals-explained