The Kaspa implementation includes a lot of great functions like Reachability to question the DAG's topology, Block knowledge pruning (with close to-long term strategies for block header pruning), SPV proofs, and later https://amiebesr820911.jasperwiki.com/6138189/kas77_fundamentals_explained