The Kaspa implementation includes a lots of interesting functions which include Reachability to query the DAG's topology, Block information pruning (with near-future designs for block header pruning), SPV proofs, and https://caoimhedztw738176.blogripley.com/profile