¿Algún organismo conoce alguna buena referencia para el significado de la simulabilidad en línea recta? Actualmente estoy profundamente inmerso en el marco de Universal Composability (UC) de Canetti, pero no puedo encontrar ninguna buena referencia para el significado de la simulabilidad en línea recta. Cualquier ayuda es apreciada.
fuente
No existe una definición formal de lo que significa ser un simulador de línea recta. Es solo una idea intuitiva que se puede usar para describir cosas de manera informal. Soy muy escéptico acerca de si uno puede definir lo que significa no rebobinar una máquina. De hecho, rebobinar una máquina es en sí mismo un término informal. Lo que realmente queremos decir al rebobinar una máquina es que podemos explorar muchas rutas posibles de ejecución de una máquina desde un estado dado. Los argumentos formales se basan en la cantidad de ejecuciones que necesitamos explorar antes de poder obtener una trampilla o alguna otra información que necesitemos para continuar nuestra prueba.
fuente