باستخدام دليل المعرفة الصفرية (zk-SNARK)، يُمكن لمنصّة تداول العملات الرقمية أن تُثبتَ بأنّ جميع مجموعات أرصدة العقد الورقية لشجرة Merkle (أي، أرصدة حسابات المُستخدمين) تُساهم في رصيد أصول المُستخدم الإجمالي المُثبت على منصّة التداول. ويُمكن لكل مُستخدم الوصول بسهولة إلى العقد الورقية الخاصّة به في حال تمّ تضمينها في العملية. وبالنسبة لمجموعة أرصدة كل مُستخدم (العقدة الورقية لشجرة Merkle)، تضمن دائرتنا ما يلي:
1. يتم تضمين أرصدة حسابات المُستخدمين في حسابات مجموع صافي الأرصدة الإجمالية للحسابات على Binance (بينانس).
2. صافي الرصيد الإجمالي للحساب أكبر من أو يساوي الصفر.
3. تغيير جذر شجرة ميركل يكون صالحًا (أي، أنّه لا يستخدم معلومات مُزيفة) بعد تحديث معلومات الحساب إلى قيمة تجزئة العقدة الورقية.
إليك في ما يلي بعض الموارد المُفيدة:
المُدوّنة
والمواصفات الفنيّة
ورمز المصدر الخاص بنا
للدائرة (القيود) للحصول على تفاصيل التنفيذ.
دليل المعرفة الصفرية الموجزة غير التفاعلية (zk-SNARK)
هو بروتوكول إثبات يتبع مبادئ المعرفة الصفرية الموضّحة سابقًا. باستخدام
zk-SNARK
، يُمكنك إثبات معرفتك بالقيمة المُجزّئة الأصلية (تمّ توضيحها بمزيد من التفصيل أدناه) دون الكشف ماهية هذه القيمة. كما يُمكن إثبات صلاحية
مُعاملة
دون الكشف عن أي معلومات حول المبالغ المُحددة أو القيم أو العناوين المعنية بها.