The Kaspa implementation features a lot of cool characteristics like Reachability to question the DAG's topology, Block facts pruning (with around-potential ideas for block header pruning), SPV proofs, and afterwards https://alyssacpbg366267.blogmazing.com/29179269/the-5-second-trick-for-kas77