Quais são as aplicações dos códigos de correção de erros na teoria, além da própria correção de erros? Estou ciente de três aplicações: o teorema de Goldreich-Levin sobre bit de núcleo duro, a construção do extrator por Trevisan e a amplificação da dureza da função booleana...