The Kaspa implementation features a wide range of interesting options like Reachability to question the DAG's topology, Block facts pruning (with near-foreseeable future strategies for block header pruning), SPV proofs, https://aronyhlx464995.tokka-blog.com/profile