The Kaspa implementation includes a wide range of awesome functions which include Reachability to question the DAG's topology, Block info pruning (with close to-long run programs for block header pruning), SPV proofs, https://shaunalmpr287727.dreamyblogs.com/30033178/the-best-side-of-kas77