The Kaspa implementation includes a lot of cool functions including Reachability to query the DAG's topology, Block facts pruning (with close to-potential options for block header pruning), SPV proofs, and later https://adreadgvg890306.bloggadores.com/28786893/kas77-no-further-a-mystery