I am reading Professor Lindell's "How To Simulate It - A Tutorial on the Simulation Proof Technique" paper, which is very enlightening.
I am trying to follow through the proof of the security of Blum's coin-tossing protocol and have some questions: in the end of page 41 it says ": Let $b_1$ be the value committed in the commitment $c$ sent by $A$ (since $A$ is deterministic and this is the first message, this is a fixed value)."
- I don't understand why we can assume $A$ is deterministic?
- In general, should the security proof work for probabilistic adversaries?