The Kaspa implementation features a great deal of interesting capabilities which include Reachability to query the DAG's topology, Block info pruning (with near-potential programs for block header pruning), SPV proofs, https://harmonypvee404688.smblogsites.com/29190000/kas77-no-further-a-mystery