إثبات الاحتياطي (PoR) على Gate.io
فائض القيمة الاحتياطية：
$ 0B
أحدث وقت تدقيق
(UTC+0)
إجمال المعدل الاحتياطي
الخوارزمية:
Merkle Tree + zk-SNARKs
تجزئة جذر ميركل:
الرصيد الصافي للزبون
$ 0
رصيد محفظة Gate
$ 0
فائض القيمة الاحتياطية
$ 0
لا توجد بيانات
ما هو الاثبات الاحتياطي 100%
منصة تداول مركزية تدير سجلات بغرض تسجيل أصول المستخدمين في قاعدة البيانات. على هذا النحو ، تواجه المنصات التحدي المتمثل في إثبات أن لديها وصاية كاملة على جميع أصول المستخدمين وانها في حالة جيدة.
نفذت Gate.io شجرة Merkle لحل هذه المشكلة ، من خلال تخزين قيمة الأصول بالتفرقة في حساب كل مستخدم في العقد الطرفية لشجرة Merkle. وبالتالي يمكن لكل مستخدم تدقيق المبلغ الإجمالي لأصوله المخزنة في العقد الورقية لشجرة Merkle والتحقق مما إذا كانت أمواله مدرجة من خلال اثبات وكالة اتدقيق الخارجية المؤهلة.
إذا تم التحقق من أن الأصول المخزنة في شجرة ميركل تساوي أو تزيد عن 100%، فهذا يعني أن أصول المستخدمين محفوظة بالكامل على المنصة، أي أن المنصة توفر احتياطيات بنسبة 100% لأصول المستخدمين.
لماذا نعد احتياطيات بنسبة 100% مهمًا جدًا؟
توفر المنصة احتياطيات بنسبة 100%
المنصة صلبة و متماسكة من الناحية المالية
تعزيز ثقة المستخدمين
ضمان امان اصول المستخدمين
سحب نقدي بنسبة 100% في عمليات السحب المزدحمة
في غياب الالتزام احتياطيات بنسبة 100%، لا يمكن ضمان حماية أصول المستخدمين بشكل كامل.
أصول المستخدمين عرضة لخطر الاختلاس
التأخير أو عدم القدرة على تحويل الأصول
قد تتعرض المنصة للتأخير إذا كثرت طلبات السحب من المستخدمين
ومن المرجح أن تتعرض المنصة للإفلاس أو تعاني من فقدان الأصول
كيف نتمكن من الحفاظ على مستوى 100٪ من الاحتياطيات؟
إذا كان العدد الإجمالي للرموز الرقمية التي تديرها المنصة على البلوكشين يطابق أو يتجاوز الرصيد الإجمالي لجميع حسابات المستخدمين كما هو موثق في لقطة البيانات، فإن المنصة تحافظ على احتياطيات بنسبة 100% لتلك الرموز الرقمية
ملكية المحفظة
عند استخدام المحافظ الساخنة أو الباردة، فإنك تقوم بتحويل مبلغ مخصص عشوائيًا إلى العناوين التي حددتها شركة التدقيق لإثبات ملكيتك للمحفظة.
ستضيف شركة مراجعة الحسابات رصيد العناوين ذات الصلة لحساب المبلغ الإجمالي المتضمن في المعاملة (بما في ذلك أصول المستخدمين والأصول المملوكة ذاتيًا للمنصة).
كيف يمكن بناء شجرة Merkle باستخدام معرف مستخدم مثبت ورصيد المستخدم؟
يتم تصدير معرف المستخدم المجزأ (UID) وأرصدة المستخدم أولاً من قاعدة بيانات Gate.
سيتم تجزئة كل زوج من معرفات المستخدم (UID) المجزأة وأرصدة المستخدم على التوالي، ثم يتم تسلسلهما لتكوين كتلة البيانات الأساسية.
لكل كتلة بيانات، سيتم تطبيق نفس وظيفة التجزئة لإنشاء العقد الورقية لشجرة Merkle. يتم بعد ذلك تجزئة البيانات المجزأة الناتجة معًا في أزواج لإنشاء العقد الأصلية للعقد الطرفية.
تستمر هذه العملية حتى تنتج جزئية واحدة تعرف باسم جذر ميركل.
يرجى الرجوع إلى الرسم البياني أدناه للتوضيح. بعد بناء شجرة Merkle بنجاح، سيتم تصدير العقد الورقية إلى ملف نصي عادي، والذي سيتم نشره مع جزئية جذر Merkle بواسطة المدقق.
ما هي شجرة ميركل ؟
في علم التشفير والكمبيوتر، شجرة التجزئة أو شجرة ميركل هي شجرة يتم فيها تعليم كل عقدة من عقد الأوراق بتجزئة التشفير الخاصة بكتلة البيانات. كل عقدة غير ورقية تحمل علامة تجزئة تسميات العقد التابعة لها. وتسمح أشجار التجزئة بالتحقق الفعال والآمن من محتويات هياكل البيانات الكبيرة.
كيف نستخدم شجرة Merkle لتقديم إثبات الاحتياطيات؟
نحفظ قيمة التجزئة لأصل حساب كل مستخدم كعقدة ورقية في Merkle Tree. بعد ذلك ، نستخدم تقنية zk-SNARK للتأكد من أننا نحتفظ بجميع أصول المستخدمين بالكامل. خلال هذه العملية ، لا يتم الكشف عن بيانات الأصول. خطوات التحقق هي كما يلي:
1. تساعد zk-SNARK في التدقيق في أن الرصيد الإجمالي لأصول المستخدمين يتم تخزينه كعقد ورقية في Merkle Tree (أي رصيد حساب المستخدم). لكل عقدة ورقية ، نؤكد النقاط التالية:
أ. يتضمن المبلغ الإجمالي للأصول التي تديرها المنصة إجمالي رصيد الأصول لجميع المستخدمين.
ب. صافي رصيد كل مستخدم أكبر من أو يساوي الصفر.
ج. سيؤدي تغيير أصول أي مستخدم إلى تغيير قيمة تجزئة جذر Merkle.
2. التحقق من المستخدم: يمكن للمستخدمين التحقق من صحة الإثبات عن طريق التحقق من قيمة تجزئة جذر Merkle باستخدام تقنية zk-SNARK. تمكننا التكنولوجيا من إكمال التدقيق الاحتياطي بنسبة 100٪ بطريقة فعالة وآمنة مع تجنب مخاطر الخصوصية أو تسريب أسرار التداول ، مما سيساعدنا على الوفاء بالتزامنا بشفافية العمليات وتعزيز ثقة العملاء.
ما هي zk-SNARKs؟
تعتبر zk-SNARK ، التي تمثل حجة المعرفة الموجزة غير التفاعلية للمعرفة الصفرية، أداة رائدة متجذرة في علم التشفير. باستخدام الخوارزميات الرياضية المتقدمة ، يمكنه التحقق بكفاءة من مبلغ الاحتياطي دون الكشف عن تفاصيل الأصول المحددة. لا تسهل zk-SNARK التحقق السريع من الأصول فحسب ، بل تلغي أيضًا مخاطر انتهاك الخصوصية. نظرًا لهذه الفوائد ، إلى جانب طبيعتها غير التفاعلية وقابلية التوسع العالية ، فإنها تجد تطبيقات واسعة في مجالات مثل التحقق من المعاملات على السلسلة ، وضمانات خصوصية البيانات ، ومصادقة الهوية
عملية التحقق
1. تثبيت البرنامج وتحميل البيانات:
1). قم بتنزيل برنامج التحقق:
أولاً، قم بتنزيل برنامج التحقق عبر الرابط المقدم أو قم بالدخول إلى GitHub لتنزيل برنامج التحقق. ثم أعد تسميته إلى main.
2) تنزيل البيانات المطلوبة:
قم بالوصول إلى صفحة التدقيق وحدد موقع الدفعة التي تحتاج إلى التحقق منها. انقر فوق [تنزيل شجرة Merkle] و [تنزيل إعدادات المستخدم] لتنزيل البيانات.
قم بفك ضغط الملف المضغوط zkmerkle_cex_xxx.tar.gz، ثم ضع البرنامج main داخل هذا المجلد، ثم ضع ملف user_config.json داخل مجلد config.
برنامج المجلدات الآن
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. التحقق من الأصول:
من cmd أو Terminal، استخدم الأمر cd للانتقال إلى المجلد الذي تم تنزيله، مثل cd ~/Downloads/zkmerkle_cex_xxx.
(قبل تشغيل البرنامج، قد تحتاج إلى تنفيذ chmod 777 main لمنح الأذونات أو تعيين عناصر الأمان.)
قم بتنفيذ الأمر التالي لبدء عملية التحقق.
./main verify cex
عند التحقق بنجاح، سيتم عرض الرسالة.
All proofs verify passed!!!
للحصول على وثائق فنية مفصلة ومبادئ التحقق، يرجى مراجعة مشروع GitHub مفتوح المصدر
Gate.io PoR Implementation
Audit firm
HACKEN
وقت التدقيق
January 3, 2024
Auditor
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
تقرير التدقيق
Gate.io PoR Implementation