Resettability Question
Is ZK preserved when verifier can execute the protocol repeatedly resetting the prover to use the same randomness? (e.g. Disconnect the power supply of prover implemented by a Smart Card.)
Algorithmically Stated: Can we achieve ZK without ìfresh randomnessî?