The Kaspa implementation includes a number of neat functions like Reachability to query the DAG's topology, Block info pruning (with around-upcoming programs for block header pruning), SPV proofs, and afterwards https://larissaynqq666693.wikipublicity.com/user