The Kaspa implementation includes a lots of interesting options such as Reachability to question the DAG's topology, Block information pruning (with around-foreseeable future ideas for block header pruning), SPV proofs, https://anitaujpa911887.blogsmine.com/profile