The Kaspa implementation includes a wide range of great features like Reachability to question the DAG's topology, Block knowledge pruning (with near-future programs for block header pruning), SPV proofs, and later on https://ronaldgrxb012222.elbloglibre.com/29138811/kas77-an-overview