The Kaspa implementation includes a lot of awesome functions which include Reachability to query the DAG's topology, Block knowledge pruning (with close to-upcoming programs for block header pruning), SPV proofs, and https://marcutdf080398.dbblog.net/2935114/the-basic-principles-of-kas77