The Kaspa implementation includes a lot of awesome features such as Reachability to question the DAG's topology, Block knowledge pruning (with close to-foreseeable future ideas for block header pruning), SPV proofs, and https://saadxlua252850.pages10.com/the-fact-about-kas77-that-no-one-is-suggesting-64826510