The Kaspa implementation includes a lot of cool capabilities like Reachability to query the DAG's topology, Block knowledge pruning (with close to-long run programs for block header pruning), SPV proofs, and later on https://hassanelyl921240.wikibuysell.com/925638/the_best_side_of_kas77