The Kaspa implementation includes a lots of neat functions like Reachability to query the DAG's topology, Block knowledge pruning (with in close proximity to-long term ideas for block header pruning), SPV proofs, and https://deaconmjdl805079.angelinsblog.com/28764219/getting-my-kas77-to-work