DATO NERD: El 1 de diciembre se cumplirán 40 años desde @TheOfficialACM publicó las actas de STOC '85 que contienen 'The Knowledge Complexity of Interactive Proof-Systems' de Goldwasser-Micali-Rackoff, el artículo que introdujo las demostraciones interactivas y las pruebas de conocimiento cero.