¿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.
Respuestas:
Aquí, "línea recta" se contrasta con "rebobinado". Un simulador es "en línea recta" si no "rebobina" la parte para la que está haciendo la simulación.
Por ejemplo, en un protocolo de conocimiento cero, el simulador generalmente rebobina el "verificador". En el sentido de "línea recta", este rebobinado no ocurre.
La primera vez que vi el término "simulador en línea recta" en el artículo de Rafael Pass ( Sobre la negabilidad en la cadena de referencia común y los modelos aleatorios de Oracle. (CRYPTO'03) ) y M.Sc. tesis ( Variantes alternativas de pruebas de conocimiento cero ).
Editar: Encontré un artículo anterior: Conocimiento cero simultáneo: Reducción de la necesidad de restricciones de tiempo por Cynthia Dwork y Amit Sahai, que data de 1998. Para obtener más consejos, consulte el comentario de Alon Rosen a continuación.
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.