The Kaspa implementation includes a lot of neat functions such as Reachability to query the DAG's topology, Block data pruning (with near-potential options for block header pruning), SPV proofs, and later subnetwork https://janecohx841357.celticwiki.com/891462/kas77_fundamentals_explained