The Kaspa implementation includes a great deal of cool features such as Reachability to query the DAG's topology, Block info pruning (with around-long term plans for block header pruning), SPV proofs, and later on https://harleysits260458.blazingblog.com/29265950/top-kas77-secrets