The Kaspa implementation includes a lot of cool functions for instance Reachability to question the DAG's topology, Block knowledge pruning (with close to-upcoming programs for block header pruning), SPV proofs, and https://nettieyhfu515632.signalwiki.com/892069/an_unbiased_view_of_kas77