Simulation

• cryptography
• a computer "knows" something if it's able to compute it in polynomial-time
• "simulation" describes the ability to reproduce a protocol from its transcript(?)
  • if one can generate fake transcripts that are indiscernable from real transcripts, ???
• computing a transcript from a desired verification proof?