The Kaspa implementation includes a wide range of awesome functions such as Reachability to question the DAG's topology, Block info pruning (with near-upcoming plans for block header pruning), SPV proofs, and later on https://emilierslw075048.ka-blogs.com/82571542/the-fact-about-kas77-that-no-one-is-suggesting