The Kaspa implementation includes a large amount of cool features such as Reachability to query the DAG's topology, Block data pruning (with close to-long term ideas for block header pruning), SPV proofs, and afterwards https://jayfywa401037.blogpostie.com/51434672/kas77-fundamentals-explained