The Kaspa implementation includes a lot of great functions such as Reachability to question the DAG's topology, Block information pruning (with around-future designs for block header pruning), SPV proofs, and afterwards https://jemimahfgp461085.educationalimpactblog.com/51550583/everything-about-kas77