The Kaspa implementation includes a lots of neat features which include Reachability to question the DAG's topology, Block knowledge pruning (with near-future options for block header pruning), SPV proofs, and later on https://mattieahbu272397.tribunablog.com/the-best-side-of-kas77-44039679