لى فنغ شبكة AI مراجعة المالية بنسبة: المؤلف تعرف هوية تقريبا "Xiaoyao تشيان"، مقدمة لماستر زارة UIUC علوم الحاسب، NAD الشبكة (https://nadgrid.com) الشريك التكنولوجي. لى فنغ شبكة AI المالية مستنسخة مراجعة بإذن من معرفة أصدقاء تقريبا "Xiaoyao تشيان" "تسبب سودوكو مأساة: إثبات عدم المعرفة (إثبات صفر المعرفة)" المادة.

ترجمت معظم هذه المقالة من: الشبكي: الكاتب //medium.com/qed-it/the-incredible-machine-4d1270d7363a الفريق المؤسس الأصلي هو الشبح الشهير وشبح الزعيم هذين البروتوكولين تل زوهار. وقال ونقل عن المؤلف الأصلي لهذا النص في هذه الورقتين ما يلي:

كيفية شرح بروتوكولات المعرفة صفر لأطفالك (Quisquater وآخرون).

التشفير والمادية صفر للمعرفة الأنظمة والدليل للحلول سودوكو الألغاز (جرادوول وآخرون).

المال القديم أن الشروط الأصلية الإثبات صفر المعرفة هو مكتوب في أفضل ومعظم الغاز الأرض، المواد العلمية الشعبية. حتى إذا كنت تريد ترجمة، بالمناسبة بالإضافة إلى بعض من تفسيرهم الخاص على أساس الأصلي. لإثبات عدم المعرفة، أو كتلة سلسلة عدم الكشف عن هويته التشفير القوي العملة قد ترغب أصدقاء ZCash لقراءته.

شياو مينغ، أحمر، شياو قانغ ثلاثة من أصدقائه جيدة يرغب في اللعب سودوكو. أيام الأسبوع، ثلاثة منهم سيكون وارد القيام به مع بعضها البعض لبعضها البعض. في بعض الأحيان أنها ستكون بعض منحرفة جدا سودوكو عنوان التحدي بعضها البعض. فإنها تختار الشخص لرسم شبكة NxN على الورق، وملء لغز (القيد)، ومن ثم إلى اثنين آخرين ذهبوا إلى.

ثبت

يوم واحد، شياو مينغ من عنوان سودوكو الصعب جدا، زهرة حمراء صغيرة لفترة طويلة محاولة حل سودوكو، ولكن كيف النتائج ليست الحل. شياو مينغ في شعر أحمر لعب لها: "هذا السؤال لا على الإطلاق أي حل! شياو مينغ أنت تمزح!"، ذهبت للشكوى من أن شياو مينغ.

"أوه، لا أستطيع إثبات ذلك لك هذه مشكلة قابلة للحل، وأنا أعرف الحل"، أجاب شياو مينغ الهدوء.

"حسنا،" ليتل الأحمر التفكير سرا، "هممم، في انتظاركم ليثبت لي في وقت لاحق، وسوف اكتبها ثم حل الالتفاف حولها شياو قانغ، وقدم أيضا لهذه المشكلة."

ذهب شياو مينغ إلى القول: "سوف أعطي صفر معرفة طريقة إثبات أن تثبت لي مع هذه المشكلة سيكون الحل لوهذا يعني انني لن ارى لكم، ولكن اسمحوا لي أن يقنع لديك حل لهذه المشكلة .."

لا أليس لا يعتقد ان بامكانه ان يفعل ذلك وبهذه الطريقة، تخيل شياو قانغ لا يزال يلعب الطريق.

التزام

شياو مينغ من أجل التوصل إلى بطاقات 81 (9X9) فارغة على الطاولة، والكتابة على كل ورقة على عدد 1-9، التفت والسماح للعيون حمراء صغيرة مغلقة، ثم وضعت بعناية 81 بطاقات الحلول في الترتيب على الطاولة، وتمثل بطاقة الجواب، وجهه لأسفل الرقمي على الطاولة، بطاقة تمثل اللغز، وأرقام على الطاولة مكشوفة.

تجربة عشوائية

وضع شياو مينغ بعيدا البطاقة، بحيث فتح عينيه أحمرا. الأحمر متحمس جدا، شعرت أن الإجابة ستكون معروفة، وكان سعيدا جدا. وقالت إنها يمكن قضاء عدة أيام فشلت في حل هذه المشكلة.

وقال شياو مينغ إلى الأحمر: "أحمر، لا يمكن أن نظرة خاطفة من هذه البطاقات وجهه لأسفل."، واضحة لرؤية أحمر خيبة أمل كبيرة، ويعتقد أنها يمكن أن نرى حلا كاملا. واضاف "لكن أنا يمكن أن تجعلك اختبار هذه الحلول: يمكنك اختيار وفقا للخط (صف)، أو على النحو الذي تختاره عمود مثيرة للاهتمام (العمود)، أو وفقا لالساحات 3X3 (مربع) لاختبار بلدي حل ذلك ~."

ليتل الاحمر هو الخلط جدا والفم يتحدث عن ماذا بحق الجحيم كان يفكر المشاركة المتناقصة، ثم قال بوب قررت وفقا للطريقة للتحقق من خط شياو مينغ ثم كل صف من تسع بطاقات عن قرب وحده في كيس من الخيش. يتم وضع جميع بطاقات تحصد تسعة كيس من الكتان. ثم هز بوب كل كيس، والترتيب الذي يتم كسر بطاقة. وأخيرا، هذه الأكياس تسعة إلى الأحمر.

التحقق

"حسنا، يمكنك فتح الحقيبة." وقال شياو مينغ ليتل الاحمر، "يجب أن يكون لكل كيس تسعة فقط، لا أرقام مكررة، وهي عبارة عن أرقام 1-9 البطاقة." ليتل الأحمر فتح كل حقيبة نظرة، ولكن أيضا هي الحال فعلا.

"هذا قد بالتالي لا تثبت آه! أستطيع أن أفعل ذلك لك. أنا فقط للتأكد من كل صف 1-9 هذا تسع بطاقات، ناهيك عن أعداد جنبا إلى جنب والمربعة ليست أيضا لا تتكرر ليس على خط المرمى. "وقال أليس بغضب.

وأوضح شياو مينغ :. "لكنني لا أعرف سلفا أن من شأنه أن تختار لبطاقات جمع في الصفوف أو في الأعمدة، أو وفقا للآه التربيعية أنا بقارئ اعتبارها لكم ... وكنت وفقا لحل لمشكلة وضع بطاقة، يمكنك ما لم أكن يختاروا مخافة "

يعتقد أليس، في الواقع، سودوكو الحل الوحيد الصحيح صحيح من أجل ضمان أن كل صف كل عمود كل مربع في الأرقام لا تتكرر 1-9. شياو مينغ إذا فعلت كذبة، سوف شياو مينغ تكن بارا ذلك، هناك ما لا يقل عن 1/3 من احتمال الحمراء يمكن أن قبض عليه في كذب.

كرر

الأحمر الصغير لا يزال غير مقتنع. شياو مينغ لا يزال من الممكن أن يشعر كذبت عليها، ثم أنه يتطلب الانتعاش بطاقة شياو مينغ، وفقا لطريقة الأصلي لاعادة انتخابه. سلسلة لمثل هذه حاولت عدة مرات، ودائما اختيار الحمراء طرق الاختبار المختلفة. حاولت مرات عديدة هي نفس النتائج. هذه المرة كان أليس علي أن أعترف، شياو مينغ إما جدا، حظا سعيدا للغاية، كل تهمة الوقت في القليل من وضع الاختبار الأحمر الذي سيتم تحديد أو حل لمشكلة ما فعل المعرفة، (أو سوف شياو مينغ تكون قادرا على قراءة العقول أن تعرف مسبقا ما سوف تختار أحمر وضع الاختبار). كان قليلا بخيبة أمل الأحمر عدة مرات حتى أسفل اختبار، انها لا تعرف الحل الحقيقي لمشكلة، عرفت فقط كل شياو مينغ وضعت فرصة كبيرة لترتيب البطاقات في كل صف من كل عمود من كل كتلة والواقع عدم تكرار 1-9، وهذا ما يفسر فرصة كبيرة هذه المشكلة قابلة للحل، وشياو مينغ فرصة كبيرة للتعرف حقا في حل هذه المشكلة.

وضع شياو مينغ هذا عدم معرفة طريقة الإثبات كما يعطي شياو قانغ تظهر مرة أخرى. ومنذ ذلك الحين من قبل ثلاثة من أصدقائه تطوير دليل على عدم المعرفة لتثبت نفسك لرؤية الجانب الآخر يعرف عادات حل للمشكلة. بعد كل شيء، والجميع في حل المشاكل عندما تنفق لديهم الكثير من الجهد، لا أريد الحل لمشكلة التحدث بسهولة مع بعضها البعض. وعلى الرغم من كل عملية إثبات عدم المعرفة يستغرق وقتا طويلا، لكنها ممتعة.

سودوكو العاصفة التي تجتاح العالم

تدريجيا، وجدت شياو مينغ وأليس هناك العديد من المشجعين سودوكو في جميع أنحاء العالم، من بين قرروا فتح البث المباشر على بيتا، توقف يعيش وحده. من أجل إظهار براعتهم، التي بدأت قبل أسبوع، بوب تم اختيارها عشوائيا لتقديم مروحة من المشجعين سودوكو، البث المباشر، وبوب اقول حل الأحمر للمشكلة، ومن ثم إلى مشاهدة بث مباشر من أحمر بالطريقة التي يتم فيها إثبات عدم المعرفة وقد أثبتت الحديد القديم هذه مشكلة لها حل، و، وقال الحديد القديم الحل لمشكلة تعلمون وأرسلت 666 صواريخ الطائرات. حتى بين بوب وأليس يعيش انفجرت في شعبيته، وأصبح الاثنان توقيع الفنانين بيتا.

شنقا مفتوحة

يوم واحد، جاء شياو مينغ الى البيت الأحمر الصغير على استعداد للعيش سودوكو صعبة للغاية، لكنه وجد أنه حل حلول مشكلة تقع في منازلهم. إن الوقت ينفد، لإعادة إطلاق لهم على مدى الوقت المحدد سوف تكون بيتا مواكبة وبخ مدرب. لكنه قرر إطلاق والأحمر. وأحمر قبل الاطلاق، وقال شياو مينغ: "لدينا اثنين من التظاهر للحصول على الحصول على دليل عدم المعرفة، وأنا أقول لك كيفية اختيار لحظة وأود أن فقط للتأكد من أنك وضع الاختبار اختبار وضع كل مرة اخترت (كل صف أو عمود. أو كل كتلة) في دو الرقمية عدم تكرار على خط المرمى. "وافق أليس.

شياو قانغ، في منازلهم ومشاهدة بث مباشر، بعد أحمر شياو مينغ وطرق هذا الغش قالوا شياو قانغ، شياو قانغ ساخطا توبيخ اثنين منهم، "عليك أن تفعل هذا وهذا لو وى شنقا مفتوحة، ما هو الفرق! جدير الدعم الذي المشجعين تفعل؟ أنا لا أعتقد أنك اثنين إثبات عدم معرفة ذلك! "

آلة مدهشة وبرهان غير التبادلي (غير التبادلي البراهين)

شياو قانغ سعيدة جدا. قبل واحد كان يتمتع بها مع الأحمر وشياو مينغ واللعب سودوكو، ولكنه الآن مضطرة لا يمكن الوثوق بها معطلا. شياو قانغ تبحث عن طريقة أخرى للتأكد من أنها لم تعد قادرة على العيش في مثل هذا الاحتيال. بعد بضع ليال بلا نوم في الماضي، وقال شياو مينغ شياو قانغ الأحمر، وقال انه يفكر في وسيلة جيدة. شياو قانغ حبس نفسه في البيت مشغول طوال اليوم، وقال انه دعا في صباح اليوم التالي أحمر شياو مينغ، لتبين لهم اختراعهم الجديد: فقط غير التبادلي دليل على عدم معرفة عدد من آلات ( "سودوكو صفر للمعرفة غير التفاعلية آلة الدليل "أو ZK-SNIPM).

هذا الجهاز هو الأساس شياو مينغ وجهه أحمر قبل القيام مجموعة من ثبت الآلي، لم تعد بحاجة التفاعل البشري. شياو مينغ دام البطاقة على الناقل، سيقوم الجهاز تلقائيا حدد الصفوف أو الأعمدة، أو لجمع الساحات بطاقة، من أجل في الكيس، ثم يرسلون حزام من خلال الحقيبة. ثم بوب يمكن فتح السطح الأمامي للعدسة داخل كيس لإظهار بطاقة.

الجهاز يحتوي على لوحة التحكم، والذي يستخدم سلسلة من مقبض الباب مفتوح للإشارة إلى اختيار هذه المقابض (الصفوف والأعمدة، والساحات) لكل اختبار.

وقد وضعت شياو قانغ تصل سلسلة من الاختبارات، لوحة التحكم ثم ملحومة مغلقة لضمان شياو مينغ وأليس لا يعرف له في النهاية كيفية اختيار تسلسل الاختبار.

هذه المرة أكد شياو قانغ أنه يمكن أن نثق تماما الجهاز الخاص بك، أكد الجهاز شياو مينغ والأحمر، والسماح لهم العيش المرة القادمة التي تستخدم هذا الجهاز مباشرة إلى إثبات. شياو قانغ وأعتقد أن من شأنه أن مع هذا الجهاز لن تكون قادرة على فتح مرة أخرى أقفلت الخط.

مراسم

شياو مينغ والأحمر شياو قانغ غيور جدا من هذا الجهاز، وأيضا ترغب في استخدام هذا الجهاز للتحقق شياو قانغ تملك مشكلة سودوكو. ولكن المشكلة هي، شياو قانغ هو معرفة أي نوع من الانتخابات تسلسل الاختبار، وإذا كان نفس الجهاز للتحقق شياو قانغ حل سودوكو الخاصة للمشكلة، يمكنك شياو قانغ شنقا مفتوحة. شياو مينغ للسماح الجميع معا اقتراح شياو قانغ على إعادة فتح لوحة التحكم، ثم أنشأنا سلسلة الاختبار على لوحة التحكم. ودعا شياو مينغ هذه العملية "حفل الإعدادات الأولية موثوق (موثوق حفل الإعداد)".

مقترحات شياو مينغ تعطي الجهاز في غرفة مظلمة، مزقت ملصقا يدل على المقابض قبالة. ثلاثة منهم كانوا يدخلون المنزل، أحمر القليل اقترح أيضا معصوب العينين عندما دخلنا الغرفة لضمان العشوائية، ومع رقائق الألومنيوم مصنوعة من قبعة معدنية (حمراء أو يشتبه شياو مينغ مقدار قليلا وسوف القارئ العقل، نريد ورق المونيوم القبعات إشارة الفكرة الرائعة لمنع القارئ درع العقل (هجوم قناة الجانب)). وبهذه الطريقة، اخر اختبار تسلسل هذه المقابض تمثل ثلاثة منهم ليس لديهم وسيلة لمعرفة. حتى لو 2 من 3 يناقشون مقدما كيف سيتم اختيار جيد، فإنها لا يمكن معرفة كيف يمكن للشخص الثالث سيختارون، لذلك لا توجد وسيلة للغش. وبعد انتهاء الحفل، إلى جانب أنها لوحة التحكم ملحومة مغلقة.

الكراك هذا الجهاز؟

بعد ظهر أحد الأيام، أحمر وذهب شياو قانغ إلى اللعب. شياو مينغ في المنزل حراسة الجهاز. وبدأت أتساءل أنها ليست مثل قال شياو قانغ، وآمنة وموثوق بها. بعد فترة من الوقت، بدأ لنقل بعض من آلة حل وهمية عمدا لمشكلة (فقط ضمان أن كل صف أو عمود أو كل Jiugongge الرقمي عدم تكرار)، في محاولة للعثور على اختبار آلة تسلسل مجموعة في هذه التجربة والخطأ. ببطء، وطرح شياو مينغ الجهاز في تسلسل اختبار يتم استخلاصه بها. وكان متحمس والإحباط على حد سواء، التي تساعد شياو مينغ تصميم أفضل آلة لاثبات ذلك؟

ننظر إلى أبعد من قصة

الانتهاء من القصة، وأعتقد أننا أثبتنا أن الانطباع العام للمعرفة الصفر. لم يتم الإعلان عن طبيعة الإثبات صفر المعرفة التي أعرفها أو لديك شيء فرضية تحت، والبعض الآخر لإثبات أن لدي فرصة كبيرة (وهذا مهم جدا، عدم معرفة الدليل في التحليل النهائي على احتمال) يعرفون حقا أو أن يكون هذا الشيء.

قصة لإثبات ما هو الحل لموضوع سودوكو، أحمر شياو مينغ ترك كل مختارة عشوائيا الصفوف والأعمدة، والساحات من بطاقة وجمع معا تعطلت بشكل عشوائي من قبل الحمراء مفتوحة الحقيبة ولا نستطيع أن نعرف الحل لمشكلة، ولكن كان قادرا على الاعتقاد فرصة كبيرة للتعرف حقا حل لمشكلة شياو مينغ.

هذه القصة ZK-SNIPM أيضا يعني نصف مازحا دليل صفر المعرفة هو الآن الأكثر ZK-SNARKs شيوعا (حجة صفر المعرفة مقتضبة غير التفاعلية المعرفة) الخوارزمية. ZK-SNIPM القصة حين الثغرات، لكنه لا يزال لديه مجال للتحسين، مثل الماسح الضوئي باستخدام مزيج من البطاقة الأولى في أسفل مسح كامل، وبعد ذلك الوقت اختبار والتحقق من أن جميع متواليات. وهذا يجعل من الصعب للقضاء على الجهاز عن طريق التجربة والخطأ.

بداية هذا النوع من دليل تفاعلي ضمنية بين بوب وأليس هي التفاعلية إثبات المعرفة صفر (التفاعلية دليل عدم المعرفة). بعد التفاعلية دليل على عدم معرفة الحاجة للتحقق من حزب (الأحمر) وضعت الجواب (الالتزام) في المبرهن (بوب)، والحفاظ على ارسال تجربة عشوائية. إذا كان التحقق منها واعتمادها من قبل تواطؤ مسبق، ثم أنها يمكن أن تبدأ لشنق (محاكاة / قهوة برهان) في حالة لا أعرف الجواب الحقيقي.

ليس مطلوبا دليل غير التبادلي لهذا التفاعل. ولكن سوف تحتاج إلى بعض آلة أو إجراء إضافية، ويتطلب مجموعة من تسلسل الاختبار، وتسلسل اختبار لا يمكن أن يكون لأحد أن يعرف. مع سلسلة من الاختبارات وإجراءات من هذا القبيل، والمبرهن يمكن أن تثبت تحسب تلقائيا، وأي واحد من الغش يمكن الوقاية.

عدم الكشف عن هويته الرئيسي كتلة التقييد التشفير العملة ZCash المستخدمة في إثبات عدم المعرفة لضمان عدم الكشف عن هويته الطرفين على الصفقة ومبلغ الصفقة. عقد فريق ZCash حفل القصة مرتين، حفل الأول حتى أنها صورت فيلما وثائقيا، حفل الثاني في مجموعة من الناس حتى على حساب حادث تشيرنوبيل النووي عقده هنا مع الإشعاع من النفايات النووية، ومن ثم يقوم بإنشاء رقم عشوائي مع استخدام الإشعاع النووي في علو مرتفع. مهتمة يمكنك الذهاب ورؤية المعلومات ذات الصلة ZCash الطقوس، مثيرة جدا للاهتمام.