NERD FACT:12月1日で、@TheOfficialACM Goldwasser-Micali-Rackoffの『The Knowledge Complexity of Interactive Proof-Systems』を含むSTOC '85の論文集を発表してから40年が経ちます。この論文はインタラクティブ証明とゼロ知識証明を紹介しました。