The Kaspa implementation includes a lots of awesome characteristics for instance Reachability to query the DAG's topology, Block details pruning (with around-potential strategies for block header pruning), SPV proofs, https://myabjfr165903.webbuzzfeed.com/29721773/not-known-details-about-kas77