With the current slot time of 12 seconds and maximum time to propagate data across the network of ~1.5 seconds, realtime means 10 seconds or less. We expect zkVMs to be able to prove at least 99% of mainnet blocks in this window, with the tail end (as well as synthetic DOS vectors) mitigated in future hard forks.