Estou lendo o famoso artigo Impagliazzo e Wigderson em 1997. Como sou novo nesse campo e o artigo é uma versão concisa da conferência, tenho dificuldade em seguir suas provas. Em particular, alguns de seus novos teoremas carecem de provas. Que eu saiba, não houve uma versão do diário publicada.
Estou procurando recursos a partir dos quais possa aprender o resultado deles, de preferência aqueles com provas formais. Ficaria muito grato se você pudesse me falar sobre esses recursos.