# 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?