The Kaspa implementation features a number of cool options for example Reachability to query the DAG's topology, Block data pruning (with near-potential ideas for block header pruning), SPV proofs, and later on https://brianjqhq967211.wikiparticularization.com/899868/an_unbiased_view_of_kas77