The Kaspa implementation features a lot of awesome capabilities which include Reachability to query the DAG's topology, Block data pruning (with close to-foreseeable future designs for block header pruning), SPV proofs, https://emiliatepo434037.wiki-cms.com/6954804/a_review_of_kas77