وقت قصة ZK: ما سمعته من شافي جولدواسر ، المخترع المشارك ل ZK (والحائز على جائزة تورينج). لم يبدأ ك "براهين ". تم رفض ورقة ZK 4-5 مرات من المؤتمرات التي راجعها الأقران. اعترض علماء الرياضيات بشدة على تسمية هذه الأشياء ب "البراهان". التفاصيل: لم تكن تحاول تحديد نموذج جديد للبراهين. عفوًا. أرادت هي وزملاؤها في المؤلفين حل مشكلة لعب لعبة البوكر باستخدام الهاتف. (حدث للكثيرين منا) بحلول ذلك الوقت ، كان من المعروف بالفعل كيفية * خلط * حزمة من البطاقات بين شخصين يتحدثان عبر الهاتف (بدون افتراضات ثقة وعدم وجود طرف ثالث موثوق به). كانت المشكلة أن لاعبين ليس لديهم افتراضات ثقة بحاجة إلى اتباع * قواعد * اللعبة ، دون الكشف عن المعلومات. هذا ما شرعت في حله. وانتهى بهم الأمر ببروتوكول للاعبين "لإثبات" لبعضهما البعض أنهما رسما البطاقة العشوائية التالية بشكل صحيح. لم يدركوا على الفور أنه شكل من أشكال الإثبات. اقترح مايكل سيبسر هذا لهم عندما وصفوه له. لكنها فكرة غريبة جدا عن "الإثبات". يجب أن تعتمد على العشوائية. لديها احتمال ضئيل للخطأ. إذا سبق لك أن رأيت دليلا رياضيا "مناسبا" (على سبيل المثال ، من أجل ما لا نهاية من الأعداد الأولية) ، فسوف تثور بشكل طبيعي ضد مثل هذا النوع من "الإثبات" الفوضوي والمعرض للخطأ. ولهذا السبب ، لفترة طويلة جدا ، عندما قدم شافي وسيلفيو وكثيرون آخرون براهين ZK السحرية هذه للعالم ، قاوم الناس ضدها. إنها قطعة شهيرة من التقاليد في علوم الكمبيوتر النظرية ، والتي تشاركها مع أقرانك بعد رفض تقديمك المذهل إلى STOC أو FOCS (مؤتمرات الطبقة S) مرة أخرى. ستقول "هل تعلم أن ورقة ZK قد تم رفضها 5 مرات ، وانتهى الأمر ب 2 من المؤلفين المشاركين بالحصول على جائزة تورينج؟" سأنهي بالقول إن ورقة STARK تم رفضها 4 مرات ، ورفضت FRI مرتين. فقط أقول ؛-)