The Kaspa implementation features a lot of great options like Reachability to question the DAG's topology, Block information pruning (with near-foreseeable future options for block header pruning), SPV proofs, and later https://jesseulhp475839.signalwiki.com/user