ФАКТ ДЛЯ НЕРДОВ: 1 декабря исполнится 40 лет с тех пор, как @TheOfficialACM опубликовала материалы STOC ’85, содержащие статью Голдвассера-Микали-Раккофа «Сложность знаний интерактивных доказательств» - статью, которая представила интерактивные доказательства и доказательства с нулевым разглашением.