The Kaspa implementation features a great deal of neat characteristics such as Reachability to question the DAG's topology, Block data pruning (with around-potential plans for block header pruning), SPV proofs, and https://lealgue749189.hamachiwiki.com/897944/kas77_for_dummies