I believe that there exists very space efficient high quality random number generators. Despite this belief, I normally use Mersenne twister in my code, which is high quality, but not very space efficient. There is a missing link between space efficiency and NP∩coNP, it's just a gut feeling that there is a link.
Let me try to give one reason why I believe that "true randomness" can be simulated/approximated very space efficiently. We know that it is possible to produce pseudo-random numbers that are sufficiently random for all practical purposes (including cryptography). We also know that using (a small amount of fixed) large prime numbers in the construction of pseudo-random number generators is rarely a bad idea. We know from conjectures like Riemann's that nearly all prime numbers contain a high degree of randomness, but we also know that we are not yet able to rigorously prove this.
Is there an intuitive explanation why the prime numbers behave like random numbers? The prime numbers are the complement of the composite numbers. The complement of a well behaved set is often more complicated than the original set. The composite numbers are composed of prime numbers, which in turn already gives this set a certain complexity.
Background I once tried to understand why P≠NP is difficult. I wondered whether approximating inner symmetry groups of a problem instance by nilpotent groups might not lead to an "abstraction algorithm" able to see into the inner structure of the problem instance. But then I realized that even computing the structure of a nilpotent group contains factoring as a special case. The question of the simple subgroups of a cyclic group of order n is equivalent to determining the prime factors of n. And the classification of finite nilpotent groups contains even worse subproblems related to graph isomorphism. That was enough to convince me that this approach won't help. But my next step was trying to understand why factoring is difficult, and the above answer is what I came up with. It was enough to convince me, so maybe it will also be convincing for other people. (I didn't know about groupoids or inverse semigroups back then, which are probably more suitable than nilpotent groups for handling inner symmetries. Still, the argument why such an approach won't be efficient stays the same.)