The Kaspa implementation features a number of interesting options such as Reachability to question the DAG's topology, Block facts pruning (with close to-long term strategies for block header pruning), SPV proofs, and later subnetwork assist that can make potential implementation of layer two alternatives much easier. Kaspa is exclusive in its abi