Yes, functions have to be reusable arbitrarily often and behave exactly identically

This is essentially the same as this answer but it requires that subsequent calls of the function are 100% indistinguishable, even if the spec leaves some leeway in behaviour.

(Note that in the case of random challenges, the randomness and its distribution are part of the behaviour.)

Yes, functions have to be reusable arbitrarily often and behave exactly identically

This is essentially the same as this answer but it requires that subsequent calls of the function are 100% indistinguishable, even if the spec leaves some leeway in behaviour.

(Note that in the case of random challenges, the randomness and its distribution are part of the behaviour.)

Yes, functions have to be reusable arbitrarily often and perform exactly identically

This is essentially the same as this answer but it requires that subsequent calls of the function are 100% indistinguishable, even if the spec leaves some leeway in behaviour.

Yes, functions have to be reusable arbitrarily often and behave exactly identically

This is essentially the same as this answer but it requires that subsequent calls of the function are 100% indistinguishable, even if the spec leaves some leeway in behaviour.

(Note that in the case of random challenges, the randomness and its distribution are part of the behaviour.)