NERD FACT: 在12月1日，将是@TheOfficialACM 发布STOC ’85 会议录的40周年，其中包含了Goldwasser-Micali-Rackoff的《交互式证明系统的知识复杂性》——这篇论文引入了交互式证明和零知识证明。