FATTO NERD: Il 1° dicembre saranno 40 anni da quando @TheOfficialACM pubblicò gli atti del STOC ’85 contenenti ‘La complessità della conoscenza dei sistemi di prova interattivi’ di Goldwasser-Micali-Rackoff - il documento che ha introdotto le prove interattive e le prove a conoscenza zero.