The Kaspa implementation features a lots of interesting features like Reachability to question the DAG's topology, Block information pruning (with near-foreseeable future options for block header pruning), SPV proofs, https://gerardslff956793.shivawiki.com/user