The Kaspa implementation includes a lot of neat functions including Reachability to query the DAG's topology, Block knowledge pruning (with near-future strategies for block header pruning), SPV proofs, and afterwards https://carabcuc985739.popup-blog.com/28742997/5-simple-techniques-for-kas77