The Kaspa implementation includes a lots of cool options such as Reachability to query the DAG's topology, Block details pruning (with around-upcoming strategies for block header pruning), SPV proofs, and later on https://brianeurr432007.blogsvirals.com/28738807/the-best-side-of-kas77