NERDFAKTA: 1. desember er det 40 år siden @TheOfficialACM publiserte STOC '85-referatene som inneholder Goldwasser-Micali-Rackoffs 'The Knowledge Complexity of Interactive Proof-Systems' – artikkelen som introduserte interaktive bevis og nullkunnskapsbevis.