The Kaspa implementation features a lots of awesome characteristics which include Reachability to query the DAG's topology, Block knowledge pruning (with close to-long run ideas for block header pruning), SPV proofs, https://charliedmus666607.robhasawiki.com/user