حقيقة نيرد: في الأول من ديسمبر، سيمر 40 عاما منذ أن نشرت @TheOfficialACM وقائع STOC '85 التي تحتوي على ورقة "تعقيد المعرفة لأنظمة الدليل التفاعلي" لجولدواسر-ميكالي-راكوف - الورقة التي قدمت براهين تفاعلية وبراهين المعرفة الصفرية.