Mina is evidence that a MIN_PROVER_TIME high enough to allow for a high-latency network (snarketplace) is sufficient for liveness, while maintaining permissionlessness.
Taiko’s new scheme (staked provers) falls back to a permissionless low-latency all-pay auction on slot-miss.
Permissionlessness is valuable in preventing prover coordination attacks.