The Kaspa implementation features a wide range of neat capabilities for example Reachability to question the DAG's topology, Block facts pruning (with near-long term ideas for block header pruning), SPV proofs, and https://saulyvps469481.pennywiki.com/user