The Kaspa implementation features a large amount of amazing capabilities for instance Reachability to query the DAG's topology, Block knowledge pruning (with near-upcoming designs for block header pruning), SPV proofs, https://aadamwjax989321.popup-blog.com/28043999/kas77-for-dummies