Não podemos esperar provar um resultado de impossibilidade geral, uma vez que, se existirem funções unidirecionais (e acreditamos que existem), segue-se, em particular, que a afirmação "Se existem funções unidirecionais" é verdadeira.P≠ NP
No entanto, podemos provar que certas técnicas de prova são muito fracas para provar essa afirmação. Em particular, o artigo a seguir de Akavia, Goldreich, Goldwasser e Moshkovitz prova que essa afirmação não pode ser provada por certas reduções de caixa preta (condicionadas a suposições plausíveis):
Essa é uma ... definição estranha para a pior das hipóteses. (Em particular, implica sujetividade.) Eu esperava que espelhasse a definição criptográfica mais de perto.
@RickyDemer: Opa, eu não quis sugerir sujidade. Fixo.
Joshua Grochow
UP (Considere a função fornecida enviando pares [SAT_instance, satisfying_assignment] à sua SAT_instance codificada e tudo o mais para algo que não é uma instância SAT.)
fonte