I'm aware of these posts:
What is a "rewinding argument"?
Random oracle model proofs and programmability
But I think, some concrete examples are missing.
I need to know how exactly rewinding technique is used with some examples.
Moreover, I'd like to know how many time we need to rewind a party and in the case where we consider a semi-honest adversary, the adversary's random value is fixed no matter how many times we rewind it.
