RZK CZK
Let V* be a concurrent verifier.
Then, there exists a resetting verifier Ví with the same view as V* as follows:
- Ví imitates V* always except
- when V* ìtemporarilyî leaves an execution
Ví instead aborts it,
- when V* comes back to an ìopenî execution,
Ví starts a new execution resetting prover to
same coins of old execution to get the exact same
prefix as the open execution and from then on
continues as V* does
Thus, if (P,V) is RZK for L, then there exists a simulator for any Ví, which will work also for V*.