The Kaspa implementation features a lot of interesting features for instance Reachability to query the DAG's topology, Block knowledge pruning (with around-potential programs for block header pruning), SPV proofs, and https://joshtmoz545683.theideasblog.com/29654329/the-best-side-of-kas77