The Kaspa implementation includes a number of cool functions such as Reachability to query the DAG's topology, Block information pruning (with close to-foreseeable future programs for block header pruning), SPV proofs, https://phoebevbgv501909.wannawiki.com/user