A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os operadores booleanos AND e OR). É sabido que a computação quântica é inerentemente reversível porque as operações permitidas na computação quântica são representadas por matrizes unitárias.
Esta pergunta é sobre criptografia. Informalmente, a noção de "reversibilidade" parece anátema aos objetivos fundamentais da criptografia, sugerindo a pergunta: "A criptografia tem um custo termodinâmico inerente?"
Acredito que essa é uma pergunta diferente de "Tudo pode ser feito em quantum?"
Em suas notas de aula , o Dr. Preskill afirma: "Existe uma estratégia geral para simular uma computação irreversível em um computador reversível. Cada porta irreversível pode ser simulada por uma porta de Toffoli, fixando entradas e ignorando saídas. Acumulamos e salvamos todo o lixo" 'bits de saída necessários para reverter as etapas da computação ".
Isso sugere que essas simulações quânticas reversíveis de operações irreversíveis exigem uma entrada, além de algum espaço "zero". Em seguida, a operação gera saída juntamente com alguns bits de rascunho "sujos". As operações são todas reversíveis em relação à saída mais bits de lixo, mas em algum momento, os bits de lixo são "jogados fora" e não são considerados mais.
Como a criptografia depende da existência de funções unidirecionais de alçapão, uma declaração alternativa da pergunta pode ser: "Existem funções unidirecionais de alçapão que podem ser implementadas usando apenas operações lógicas reversíveis, sem espaço adicional?" Em caso afirmativo, também é possível COMPUTAR uma função unidirecional arbitrária de alçapão usando apenas operações reversíveis (e sem espaço para riscos)?