Resettability: a real threat?
Resetting or restoring state of a device is easy for captured smart card.
Force a crash on device implementing prover so it will resume computation in a previous ìcomputational spotî.
Smart Card Memory limitations: cannot rewrite too many times. I.e randomness may be stuck