O esforço computacional necessário para enfraquecer algoritmos de criptografia assimétrica atualmente usados é proveniente de problemas da teoria de números e álgebra. com o advento de computadores quânticos, tais problemas tornam-se passíveis de resolução em tempo polinomial. a área de pesquisa formada por criptossistemas assimétricos independentes de tais problemas é chamada de criptografia pós-quântica. um exemplo de problema onde é desconhecido se sua resolução é acelerada por computadores quânticos é o problema de resolução de sistemas de equações, alicerce para a criptografia baseada em polinômios multivariados. chaves públicas e privadas desses algoritmos são representadas por sistemas de equações proibitivamente extensos, mas operações com mensagens são demasiado eficientes. este comportamento é facilmente identificável no esquema de assinatura digital rainbow, atualmente finalista no processo de padronização de criptografia pós-quântica liderado pelo instituto nacional de padrões e tecnologia dos estados unidos. o esquema rainbow é baseado em polinômios de “óleo e vinagre”, que têm resistido a métodos criptanalíticos até o presente momento. neste trabalho, um método para reduzir as chaves privadas do esquema rainbow é proposto, baseado na substituição antecipada de valores em polinômios de chaves privadas, permitindo representações mais compactas. uma consequência imediata deste fato é que assinaturas são geradas com um nível reduzido de aleatoriedade, mas são apresentados argumentos que mostram a insignificância estatística deste fato em comparações com assinaturas convencionais. o método proposto leva a redução de chaves privadas em até 6.5 vezes, e pode ser combinado com estratégias que reduzem chaves públicas. entretanto, é exposto que tal método leva a um ataque de recuperação de chaves eficiente, que invalida totalmente a segurança do esquema de assinatura digital derivado. este trabalho analisa como o ataque é implementado na prática, e demonstra que uma generalização do método proposto é ainda insegura para vários parâmetros do esquema.