Comment by remcob

Why is that required? The whole point of zero knowledge proofs is that it can run on untrusted devices.