Alguém conhece alguma boa referência para o significado de simulabilidade em linha reta? Atualmente, estou profundamente dentro da estrutura de Canetti da Universal Composability (UC), mas não consigo encontrar nenhuma boa referência para o significado de simulabilidade em linha reta. Qualquer ajuda é apreciada.
fonte
Não existe uma definição formal do que significa ser um simulador de linha reta. É apenas uma ideia intuitiva que pode ser usada para descrever as coisas de maneira informal. Eu sou altamente cético quanto à possibilidade de definir o que significa não rebobinar uma máquina. De fato, rebobinar uma máquina é um termo informal! O que realmente queremos dizer com rebobinar uma máquina é que podemos explorar muitos caminhos possíveis de execução de uma máquina a partir de um determinado estado. Os argumentos formais são baseados no número de execuções que precisamos explorar antes de obtermos um alçapão ou alguma outra informação necessária para continuarmos nossa prova.
fonte