The Kaspa implementation features a lot of neat attributes like Reachability to question the DAG's topology, Block knowledge pruning (with close to-long term designs for block header pruning), SPV proofs, and later on https://bookmarktune.com/story17904147/5-simple-statements-about-kas77-explained