The Kaspa implementation features a lots of neat features for instance Reachability to query the DAG's topology, Block info pruning (with close to-long term ideas for block header pruning), SPV proofs, and afterwards https://donnapgpb407685.empirewiki.com/user