Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
The tapes are a read-only input tape, a read-only random tape, a read-and-write work tape, a write-only output tape, a pair of communication tapes, and a read-and-write switch tape consisting of a single cell. One communication tape is read-only, and the other is write-only. Each ITM is associated