The Kaspa implementation includes a number of awesome options including Reachability to query the DAG's topology, Block facts pruning (with near-potential options for block header pruning), SPV proofs, and later https://hamzagfyo157385.amoblog.com/top-kas77-secrets-51122155