Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
interaction between two computing devices is. In cryptography the preferred choice is given to Turing machines named after the “father” of computer science Alan Turing. 2.1 Interactive Turing Machine An interactive Turing machine (ITM) is a (deterministic) multi-tape Turing machine (see Figure 1).