Estoy leyendo el famoso documento Impagliazzo y Wigderson en 1997. Como soy nuevo en este campo y el documento es una versión concisa de la conferencia, tengo dificultades para seguir sus pruebas. En particular, algunos de sus nuevos teoremas carecen de pruebas. Que yo sepa, no se ha publicado una versión de revista.
Estoy buscando recursos de los cuales puedo aprender su resultado, preferiblemente aquellos con pruebas formales. Estaría muy agradecido si pudiera contarme sobre tales recursos.