The Kaspa implementation features a number of great attributes which include Reachability to query the DAG's topology, Block data pruning (with around-future options for block header pruning), SPV proofs, and later on https://zaynunbm272851.ourabilitywiki.com/user