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?