The Kaspa implementation includes a great deal of cool capabilities including Reachability to query the DAG's topology, Block data pruning (with near-future strategies for block header pruning), SPV proofs, and later on https://maciezbjb212493.wikienlightenment.com/7130089/a_review_of_kas77