FATO NERD: No dia 1 de dezembro, fará 40 anos desde que @TheOfficialACM publicou os anais do STOC ’85 contendo ‘A Complexidade do Conhecimento de Sistemas de Prova Interativa’ de Goldwasser-Micali-Rackoff - o artigo que introduziu provas interativas e provas de conhecimento zero.