The Kaspa implementation includes a great deal of neat functions including Reachability to question the DAG's topology, Block knowledge pruning (with around-foreseeable future designs for block header pruning), SPV https://philipujlb952904.timeblog.net/65104543/kas77-for-dummies