Gate.io PoR
أحدث وقت تدقيق:
(UTC+0)
فائض القيمة الاحتياطية:
$ B
الخوارزمية:
Merkle Tree + zk-SNARKs
إجمال المعدل الاحتياطي:
Merkle Root Hash:
الرصيد الصافي للزبون
$
رصيد محفظة Gate
$
فائض القيمة الاحتياطية
$
Not Data
ماذا يعني اثبات 100% من احتياطي اصول المستخدمين؟
منصة تداول مركزية تدير سجلات بغرض تسجيل أصول المستخدمين في قاعدة البيانات. على هذا النحو ، تواجه المنصات التحدي المتمثل في إثبات أن لديها وصاية كاملة على جميع أصول المستخدمين وانها في حالة جيدة.
نفذت Gate.io شجرة Merkle لحل هذه المشكلة ، من خلال تخزين قيمة الأصول بالتفرقة في حساب كل مستخدم في العقد الطرفية لشجرة Merkle. وبالتالي يمكن لكل مستخدم تدقيق المبلغ الإجمالي لأصوله المخزنة في العقد الورقية لشجرة Merkle والتحقق مما إذا كانت أمواله مدرجة من خلال اثبات وكالة اتدقيق الخارجية المؤهلة.
إذا تم التحقق من أن الأصول المخزنة في شجرة Merkle أكبر من أو تساوي 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) تنزيل البيانات المطلوبة:
قم بالوصول إلى صفحة التدقيق وحدد موقع الدفعة التي تحتاج إلى التحقق منها. انقر فوق [تحميل شجرة ميركل] و [تنزيل إعدادات المستخدم] لتنزيل البيانات.
قم بفك ضغط الملف المضغوط 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!!!
للحصول على وثائق فنية مفصلة ومبادئ التحقق، يرجى مراجعة
تنفيذ إثبات الاحتياطي (PoR) على Gate.io
HACKEN
شركة التدقيقوقت التدقيق
January 3, 2024
مدقق الحسابات
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
تقرير التدقيق
Gate.io PoR Implementation
