The Kaspa implementation features a lots of cool characteristics for example Reachability to query the DAG's topology, Block facts pruning (with close to-future options for block header pruning), SPV proofs, and https://janecohx841357.celticwiki.com/891462/kas77_fundamentals_explained