ما هو Midnight (NIGHT)؟ إثباتات المعرفة الصفرية تصنع ملك الخصوصية الجديد في عالم البلوكشين

Midnight هو سلسلة جانبية تركز على الخصوصية ضمن نظام كاردانو البيئي، وتحقق الإفصاح الانتقائي للبيانات عبر تقنية إثباتات المعرفة الصفرية. يستخدم هذا المنصّة لغة العقود الذكية الحصرية Compact وبروتوكول Kachina، ما يمكّن المطوّرين من التحقق من صحة التطبيقات دون كشف البيانات الحساسة. قامت Midnight بدمج تقنيات الذكاء الاصطناعي لتسريع عمليات التحقق من الهوية (KYC)، وأطلقت أداة فك الحظر الذاتية لخدمة 17,500,000 مستخدم.

التناقض القاتل بين الشفافية العامة وخصوصية البيانات

تواجه البلوكشينات التقليدية مأزقاً أساسياً: تقوم السلاسل العامة مثل بيتكوين وإيثيريوم بنشر جميع تفاصيل المعاملات على الدفتر العام، بحيث يمكن لأي شخص تتبع تدفقات الأموال وأطراف الصفقات. هذا التصميم يحقق اللامركزية وقابلية التحقق بشكل ممتاز، لكنه يضحي بالخصوصية بالكامل. لا يمكن للشركات قبول كشف بيانات سلسلة الإمداد أمام المنافسين، ولا يرغب الأفراد في نشر رواتبهم وسجلات إنفاقهم للأبد، كما لا يمكن للمؤسسات الطبية وضع السجلات الصحية على السلسلة.

حاولت عملات الخصوصية مثل Zcash وMonero حل هذه المشكلة، لكنها ذهبت إلى الطرف الآخر: جميع البيانات مخفية بالكامل، مما يجعل الامتثال التنظيمي شبه مستحيل. فعندما تطلب البنوك أو الجهات الحكومية إثبات شرعية المعاملات، تعجز هذه الأنظمة عن تقديم الأدلة، ولهذا تُرفض في القطاع المالي التقليدي. فما هو Midnight (NIGHT)؟ إنه أول منصة بلوكشين تحل هذا المأزق فعلياً.

تقلب Midnight الطاولة بآلية الإفصاح الانتقائي. يمكن للمستخدمين والشركات إبقاء بياناتهم الحساسة خاصة، لكن بإمكانهم أيضاً اختيار كشف معلومات محددة للجهات التنظيمية أو المدققين أو الأطراف المقابلة عند الحاجة. تقوم هذه الإمكانية على الأساس الرياضي لإثباتات المعرفة الصفرية (ZKP)، بحيث يمكنك إثبات حقيقة ما دون كشف السر ذاته. على سبيل المثال، يمكنك إثبات “أنني أبلغ من العمر 18 سنة أو أكثر” دون كشف تاريخ ميلادك، أو إثبات “أن هذه المعاملة مطابقة لقوانين مكافحة غسيل الأموال” دون كشف المبلغ أو هوية الطرف المقابل.

ثلاث ركائز تقنية أساسية لـ Midnight

إثباتات المعرفة الصفرية: ضمان الخصوصية رياضياً

تستعمل Midnight نظام zk-SNARKs (إثباتات المعرفة الصفرية الموجزة غير التفاعلية) كأداة تشفير أساسية. تسمح هذه الأنظمة للمُثبت بإقناع المراجع بصحة بيان ما دون كشف أي معلومات إضافية. عملياً، اختارت Midnight نظام Halo 2، المبني على SNARK المتكرر Plonk، ويتميز بثلاث مزايا: لا حاجة لإعداد موثوق، أحجام إثباتات صغيرة بمئات البايتات فقط، وسرعة تحقق عالية جداً.

تُطبق إثباتات المعرفة الصفرية في كل معاملة سرية على Midnight. كل معاملة مرفقة بإثبات يبرهن للشبكة أن “رصيد المرسل كافٍ، والتوقيع صحيح، ولا يوجد دفع مزدوج”، دون كشف المبلغ أو الهوية. يمكن للعقود الذكية طلب إثبات من المستخدمين للتحقق من الأهلية، كـ"أمتلك شهادة مُصدّقة" أو “درجتي الائتمانية أعلى من 700”، دون الاطلاع على الوثائق الأصلية. هذه الإمكانية تجعل Midnight تدعم حالات استخدام لا يمكن تحقيقها عبر البلوكشين التقليدية.

بروتوكول Kachina: إطار موحد للعقود الذكية الخاصة

Kachina هو البنية التحتية لعقود Midnight الذكية، ويستند إلى أبحاث التشفير لدى IOHK. يفصل البروتوكول بين الحالة العامة (ظاهرة على السلسلة للجميع) والحالة الخاصة (يحتفظ بها المستخدم محلياً). عند تنفيذ إجراء، يقوم المستخدم بتحديث الحالة الخاصة محلياً ويولد إثبات معرفة صفرية يُرسل إلى البلوكشين، يثبت فيه أن العملية تمت وفق قواعد العقد.

تكمن قوة Kachina في نموذج الأمان التوافقي (UC). هذا الإطار الرسمي يضمن استمرار حماية الخصوصية حتى مع تشغيل عدة عقود ذكية في آن واحد أو في حال محاولة المهاجمين التدخل. هذا “الأمان القابل للتوصيل” يتيح للمطورين دمج عقود Midnight متعددة دون القلق من ظهور ثغرات معقدة. كما يدعم Kachina التنفيذ المتوازي، حيث يمكن لعدة مستخدمين التفاعل مع العقد في نفس الوقت، ما يزيد من الإنتاجية بشكل كبير.

لغة Compact: تجربة تطوير مبنية على الخصوصية

Compact هي اللغة الحصرية لعقود Midnight الذكية، وتقوم فلسفتها على “الخصوصية الافتراضية”. جميع البيانات تعتبر خاصة بشكل افتراضي، ويجب على المطور استخدام دالة disclose() صراحةً لكشف أي معلومات. يمنع هذا التصميم تسرب البيانات العرضي من الأساس. يقوم المترجم بفحص جميع تدفقات البيانات أثناء الترجمة، ويبلغ عن أي محاولة كشف غير مصرّح بها فوراً.

استُلهمت صياغة Compact من TypeScript لتسهيل التعلم. ينتج المترجم تعريفات API لـ JavaScript/TypeScript والمواد التشفيرية اللازمة للإثباتات، ما يتيح التكامل السلس مع واجهات الاستخدام. يحتاج المطور للتركيز فقط على منطق الأعمال، بينما يتولى الإطار عملية توليد والتحقق من الإثباتات تلقائياً. بالإضافة لذلك، توفر إضافة VSCode تمييزاً للنحو، تحققاً فورياً وقوالب للعقود، مما يعزز تجربة التطوير.

أربع حالات استخدام رئيسية ثورية

أنظمة التصويت السري: يمكن للناخبين إثبات أهليتهم (مثل الجنسية) عبر إثباتات معرفة صفرية، وتُرسل أصواتهم بشكل مشفر إلى السلسلة. تُستخدم تقنيات التجميع بالمعرفة الصفرية في العد، بحيث تكون النتائج قابلة للتدقيق العلني دون إمكانية تتبع الأصوات الفردية. هذا يحل مشكلة الثقة في التصويت الإلكتروني التقليدي.

KYC متوافق مع GDPR: يرسل المستخدم وثائق الهوية لجهة موثوقة ويحصل على شهادة قابلة للتحقق. يمكنه لاحقاً إثبات “لقد اجتزت KYC” أو “لست مقيماً في الولايات المتحدة” لأي مزود خدمة عبر إثبات معرفة صفرية، دون كشف جواز السفر أو العنوان أو أي بيانات حساسة. يتيح ذلك لبروتوكولات DeFi الامتثال مع حماية خصوصية المستخدم.

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

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