The Kaspa implementation includes a large amount of cool functions for example Reachability to query the DAG's topology, Block facts pruning (with close to-long term ideas for block header pruning), SPV proofs, and https://safatwoi671720.vblogetin.com/34754784/an-unbiased-view-of-kas77