Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
contents of the writable tapes of the ITM are not modified. Figure 1: An illustration of two interactive turing machines. The content of the input tape is called input, the content of the random tape is called random input, and the content of the output tape at termination is called output. The