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.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.