The Kaspa implementation features a lot of interesting capabilities for instance Reachability to question the DAG's topology, Block info pruning (with near-long run plans for block header pruning), SPV proofs, and later https://haimadyku592411.ampedpages.com/kas77-fundamentals-explained-56529788