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.
Respostas:
Aqui, "linha reta" é contrastada com "rebobinagem". Um simulador é "linear" se não "rebobinar" a parte para a qual está fazendo a simulação.
Por exemplo, em um protocolo de conhecimento zero, o simulador geralmente rebobina o "verificador". No sentido "linear", essa rebobinagem não ocorre.
Vi pela primeira vez o termo "simulador de linha reta" no artigo de Rafael Pass ( On Deniabililty in the Common Reference String e Random Oracle Models. (CRYPTO'03) ) e M.Sc. tese ( Variantes Alternativas das Provas de Conhecimento Zero ).
Edit: Encontrei um artigo anterior: Conhecimento Zero Simultâneo: Reduzindo a Necessidade de Restrições de Tempo por Cynthia Dwork e Amit Sahai, que remonta a 1998. Para mais dicas, consulte o comentário de Alon Rosen abaixo.
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.