Função desprezível
A maneira formal da criptografia de dizer "pequeno demais para importar": eventualmente menor que um sobre qualquer polinômio.
Uma função μ(n) é desprezível se, para todo polinômio p, ela cai abaixo de 1/p(n) a partir de certo ponto. 2−n é desprezível; 1/n100 não é. A noção sustenta toda a escola assintótica fundada por Goldwasser e Micali no início dos anos 1980. Um esquema é seguro se a vantagem de todo adversário eficiente é desprezível no parâmetro de segurança, e é assim que se definem tanto a segurança semântica quanto o IND-CPA.
O ponto fraco é que "eventualmente" nunca diz quando. Um esquema pode ser comprovadamente seguro e ainda assim estar quebrado em 128 bits. Por isso as provas práticas para modos de operação hoje usam segurança concreta, expressando a vantagem como uma fórmula explícita no número de consultas e no tamanho de bloco.