Cardano Foundation توضح كيفية التحقق من برهان عدم المعرفة على Cardano

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

ثمانية أرقام خاصة ونتيجة عامة واحدة

يجمع المثال ثمانية أرقام في أربعة أزواج. يقوم المثبت بضرب الرقمين في كل زوج ويجمع النواتج الأربعة. يجب أن يساوي المجموع 100. تكون تلك النتيجة عامة بينما تبقى الأرقام الثمانية خاصة.

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

كيف يتحقق Aiken من برهان Groth16 بحجم 192 بايت

يقوم الدرس بتوليد البرهان خارج السلسلة. يتألف برهان Groth16 من ثلاث نقاط على منحنى إهليلجي تشغل 192 بايت في صيغة BLS12-381 المضغوطة المستخدمة في المثال. يتحقق المدقق من البرهان مقابل المدخلات العامة ومفتاح تحقق مرتبط بالدائرة.

يختتم الشرح باختبار Aiken يستخدم عمليات BLS12-381 نفسها المتاحة لبرامج Plutus V3 النصية على الشبكة الرئيسية لـ Cardano. ولجعل المثال قابلا لإعادة الإنتاج يستخدم الدرس قيما ثابتة ومعروفة علنا للجزء الذي يكون عادة سريا من الإعداد. في إعداد Groth16 للإنتاج يمكن لأي شخص يحتفظ بتلك القيم السرية في الإعداد تزوير براهين.

لماذا يهم التحقق على السلسلة بالنسبة إلى Cardano

يمكن لمطوري Cardano بناء مدقق Groth16 داخل عقد ذكي على Aiken باستخدام عمليات Plutus V3 الموجودة. يمكن لتطبيق توليد البرهان خارج السلسلة ثم تمريره إلى العقد الذكي حتى يتمكن المدقق من تقرير ما إذا كانت معاملة تستوفي شرطا. يكون البرهان وأي مدخلات عامة مطلوبة متاحين للمدقق بينما يمكن أن تظل البيانات الخاصة الأساسية خارج السلسلة.

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

[NEWSBREAK]

ما الذي ستغطيه الأجزاء الأربعة التالية

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

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

سيتناول الجزء الأخير أنظمة براهين مقاومة للكم مع التركيز على مناهج قائمة على الشبكات قد تحل محل افتراضات المنحنيات الإهليلجية المستخدمة في Groth16.