XORification é a técnica para dificultar uma função ou fórmula booleana substituindo cada variável pelo XOR de variáveis distintas .
Estou ciente dos usos dessa técnica na complexidade de provas, principalmente para obter limites inferiores de espaço para sistemas de provas baseados em resolução, por exemplo, nos documentos:
- Eli Ben-Sasson. Dimensione as trocas de espaço para resolução. STOC 2002, 457-464.
- Eli Ben-Sasson e Jakob Nordström. Entendendo o espaço na complexidade da prova: separações e trade-offs por substituições. ICS 2011, 401-416.
Existem outros usos dessa técnica em outras áreas?
Atualmente, essa técnica é bastante padrão em criptografia, normalmente para amplificar uma construção fraca (esquema de consolidação, protocolo de transferência inconsciente, etc.) em uma estrutura forte.
fonte