Assume in the real model a party blinds a fixed element $b$ as: $v_i=r_i\cdot b$, where $r_i$ is a output of pseudorandom function. So we give $v_i$ to a semi-honest adversary.
Now we want to sketch the proof and we want to show that we can generate the adversary's view in the ideal model that is computationally indistinguishable from its view in the real model.
So we pick a value $b'$ and blind it as $v'_i=r'_i\cdot b'$, where $r'_i$ is a output of the same pseudorandom function but using a random (distinct) key. We give $v'_i$ to the adversary.
We want to say that $v_i$ and $v'_i$ are computationally indistinguishable.
Question: Is the above simulation correct? In general, can we use pseudorandom value in the ideal model (rather than truly random value)?