The Kaspa implementation includes a number of awesome features including Reachability to question the DAG's topology, Block data pruning (with close to-long run programs for block header pruning), SPV proofs, and https://jeanbqkw928035.blogolenta.com/26089118/kas77-an-overview