The Kaspa implementation includes a lots of great options which include Reachability to query the DAG's topology, Block info pruning (with in close proximity to-potential designs for block header pruning), SPV proofs, https://oisijitq142062.alltdesign.com/examine-this-report-on-kas77-49024308