The Kaspa implementation includes a lots of neat functions like Reachability to query the DAG's topology, Block info pruning (with in close proximity to-potential designs for block header pruning), SPV proofs, and https://sparxsocial.com/story8213960/examine-this-report-on-kas77