The Kaspa implementation includes a large amount of cool features such as Reachability to question the DAG's topology, Block details pruning (with near-future ideas for block header pruning), SPV proofs, and afterwards https://annieddij432824.wikifordummies.com/user