The Kaspa implementation includes a number of interesting features which include Reachability to query the DAG's topology, Block knowledge pruning (with around-long run ideas for block header pruning), SPV proofs, and https://donnarfkb142736.p2blogs.com/28625126/kas77-options