The Kaspa implementation includes a lot of interesting functions including Reachability to question the DAG's topology, Block facts pruning (with near-future plans for block header pruning), SPV proofs, and later https://deweydadk635296.wikimidpoint.com/4212623/everything_about_kas77