The Kaspa implementation features a lots of awesome functions such as Reachability to question the DAG's topology, Block details pruning (with close to-future ideas for block header pruning), SPV proofs, and later on https://mohamadhmvq294581.ziblogs.com/profile