NERD FACT: 在12月1日，將是@TheOfficialACM 發布STOC ’85 論文集的40周年，該論文集包含了Goldwasser-Micali-Rackoff的《互動證明系統的知識複雜性》——這篇論文介紹了互動證明和零知識證明。