The Kaspa implementation features a lot of interesting features such as Reachability to question the DAG's topology, Block facts pruning (with close to-potential programs for block header pruning), SPV proofs, and later https://joycerytg060418.get-blogging.com/profile