The Kaspa implementation features a lot of great options for example Reachability to query the DAG's topology, Block knowledge pruning (with in close proximity to-long run plans for block header pruning), SPV proofs, https://kallumqafu609676.wssblogs.com/29237062/new-step-by-step-map-for-kas77