FAKT NERD: 1 grudnia minie 40 lat, odkąd @TheOfficialACM opublikowało materiały z konferencji STOC ’85 zawierające pracę Goldwasser-Micali-Rackoffa „Złożoność wiedzy interaktywnych systemów dowodowych” - artykuł, który wprowadził dowody interaktywne i dowody zerowej wiedzy.