خطوة إلى عالم Lagrange $LA - المعالج المساعد ZK

نحن نتقدم بشكل أعمق. على مدار هذه السلسلة، ذكرنا “Zero-Knowledge Proof” (ZK proof) كل يوم. هذه هي “قطعة اللغز” الأساسية - المنصة التي تضمن جميع الأنشطة في الشبكة. اليوم، خصص يومًا كاملًا لفهم هذه التكنولوجيا الرائعة ولماذا هي العنصر الأساسي في هيكل @lagrangedev. ما هو إثبات المعرفة الصفرية؟ إثبات سر دون الكشف عن هذا السر إثبات عدم المعرفة (ZKP) هو طريقة تسمح لطرف ( يُطلق عليه اسم المُثبِت – Prover) بإثبات لطرف آخر ( يُطلق عليه اسم المُصادق – Verifier) أن عبارة ما صحيحة، دون الحاجة إلى الكشف عن أي معلومات أخرى بخلاف صحة تلك العبارة. تخيل السيناريو التالي: لديك صديق يعاني من عمى الألوان وأمامك كرتان، بالنسبة لهما تبدوان متطابقتين، لكنك تعرف أن واحدة حمراء والأخرى خضراء. كيف يمكنك إثبات أن الكرتين بلونين مختلفين، دون الكشف عن أيهما الأحمر وأيهما الأخضر؟ طريقة التنفيذ: صديقك الذي يعاني من عمى الألوان يخفي كرتين خلف ظهره، ثم يظهر واحدة. أنت تتذكر لون الكرة التي تم عرضها. بعد ذلك، يمكنهم تبادل أو الاحتفاظ بمكان الكرتين ثم عرض واحدة أخرى. بناءً على اللون، يمكنك أن تعرف على الفور ما إذا كانوا قد تبادلوا أم لا. إذا خمّنت بشكل صحيح مرة واحدة، فقد تكون مجرد حظ (50/50). ولكن إذا تكررت 10، 20، أو 50 مرة وكنت صحيحًا في كل مرة، فإن احتمال أن يعتمد ذلك على الحظ يكاد يكون صفرًا. وبالتالي، لقد أثبت أنك تعرف سر (لون) دون الكشف عن هذا السر. وهذا هو “إثبات المعرفة الصفرية” – إثبات لا يكشف عن المعلومات. كيف تستخدم Lagrange تقنية ZKP؟ في نظام #lagrange البيئي، ZKP هو المحرك لـ ZK coprocessor. عندما يطلب dApp من Lagrange إجراء حساب معقد – مثل حساب متوسط سعر أصل من آلاف المعاملات – ستلعب لجان الدولة دور Prover (الشاهد ).

1. تنفيذ الحسابات – “سر” النظام ستقوم لجان الدولة بإجراء كامل عملية الحساب الشاقة هذه خارج السلسلة. هذه هي “السر” - الطريقة التي يتم بها إنتاج النتائج.
2. ولادة ZK Proof - دليل التشفير بدلاً من إرسال النتيجة النهائية فقط، قام لاغرانج بإنشاء إثبات ZK - وهو إثبات تشفيري مضغوط، يضمن أن جميع الحسابات قد تم تنفيذها بدقة وفقًا للقواعد.
3. التحقق – سريع، مختصر، آمن تمامًا تُرسل هذه الإثباتات إلى العقد الذكي على السلسلة، حيث تلعب دور المُحقق (المُحقق). إن التحقق من إثبات ZK سريع جداً، حيث يستغرق فقط بضع مللي ثانية، ولكنه يضمن دقة مطلقة. لا تحتاج البلوكشين إلى إعادة تنفيذ تلك الحسابات الثقيلة - فهي تحتاج فقط إلى الثقة في الرياضيات التي لا يمكن المساس بها. لماذا هذا مهم؟ بفضل هذه الآلية ، تقدم Lagrange: حجم هائل (القابلية للتوسع): يتم معالجة الحسابات المعقدة خارج السلسلة مع الحفاظ على النزاهة.أمان مطلق (الأمان): الثقة لا تأتي من الخوادم، بل تأتي من الرياضيات البحتة.تحسين التكلفة (الكفاءة): تقليل كبير في التكاليف ووقت التحقق على البلوكشين. هذه هي القوة الأساسية لـ Lagrange $LA ZK Coprocessor - الإيمان الذي تم بناؤه ليس بفضل الثقة في البشر أو الآلات، ولكن بفضل القوانين الثابتة للرياضيات.