The Kaspa implementation features a large amount of neat functions like Reachability to query the DAG's topology, Block details pruning (with in close proximity to-upcoming plans for block header pruning), SPV proofs, https://laylatxog815911.thelateblog.com/29712428/kas77-no-further-a-mystery