Modulo-P تفتح أدوات المعرفة الصفرية على Cardano للتصويت المجهول والتطبيقات الخاصة

قدمت Modulo-P حزمة معرفة صفرية مفتوحة المصدر يمكن لمطوري Cardano استخدامها لبناء عضويات مجهولة وتصويت خاص وتطبيقات امتثال تحافظ على الخصوصية. عرض Agustín Salinas العمل خلال Cardano Developers Office Hours #68 في 10 يوليو، متتبعاً تطوره من تجارب Plutus V2 وHydra المبكرة إلى عقود Aiken قابلة لإعادة الاستخدام وبنية تأسيسية مشتركة للإعدادات التشفيرية.

هذه المكونات لا تشكل منتجاً واحداً موجهاً للمستهلك. إنها توفر لبنات بناء منفصلة يمكن للمطورين دمجها في تطبيقات تتطلب إثبات الهوية أو العضوية أو خصائص المعاملات من دون الكشف عن البيانات الخاصة الأساسية.

Cardano-Semaphore يجلب العضوية المجهولة إلى Aiken

بدأت Modulo-P في تجربة إثباتات المعرفة الصفرية على Cardano في عام 2023، قبل أن تمتلك الشبكة بدائيات Plutus اللازمة للتحقق بكفاءة وقبل أن ينضج Aiken ليصبح لغة عقود ذكية واسعة الاستخدام.

كان المُحقِّق الأول للفريق كبيراً ومكلفاً حسابياً، ما جعل طبقة Cardano الأولى غير مناسبة للتنفيذ الأولي. انتقل التطوير إلى Hydra، حيث أنشأت Modulo-P إصداراً بالمعرفة الصفرية من Mastermind أتاح لمشارك واحد إثبات صحة تلميح من دون كشف التركيبة المخفية.

قدمت Plutus V3 لاحقاً دوال تشفيرية أصلية BLS12-381، بينما اختصر Aiken بشكل ملحوظ دورات التجميع والتطوير. استخدمت Modulo-P تلك القدرات لإصدار ak-381 وهو تنفيذ في Aiken لمُحقِّق Groth16 تلاه Cardano-Semaphore.

Semaphore هو بروتوكول معرفة صفرية تم تطويره أصلاً في منظومة Ethereum. يتيح للمستخدم إثبات الانتماء إلى مجموعة محددة من دون الكشف عن هويته داخلها.

يطبق Cardano-Semaphore ذلك النموذج عبر عقود Aiken الذكية. يمكن لعضو مُتحقَّق منه إرسال إشارة مجهولة تمثل تصويتاً أو تفضيلاً أو رسالة أو مدخلاً آخر خاصاً بالتطبيق. يتحقق البروتوكول من أن المُرسل يمتلك هوية خاصة صالحة وينتمي إلى المجموعة المخولة ولم يسبق له تقديم الإشارة من النوع نفسه.

يوفر التنفيذ لتطبيقات Cardano طبقة خصوصية قابلة لإعادة الاستخدام بدلاً من أن يُطلب من كل فريق تصميم منطق العضوية المجهولة ومنع التكرار بشكل مستقل. تشمل الاستخدامات المحتملة استطلاعات خاصة وقرارات تنظيمية وتزكيات مجهولة وأنظمة حوكمة يجب فيها تقييد المشاركة من دون ربط كل إجراء علناً بمحفظة أو هوية.

التصويت الخاص وProof of Innocence يضعان الأدوات قيد الاستخدام

استخدمت Modulo-P Cardano-Semaphore كأُسْس لتطبيق تصويت يعمل في بيئة Preprod الخاصة بـ Cardano.

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

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

يتبع تطبيق التصويت مبادرة سابقة من Project Catalyst مولت تنفيذ Semaphore والإشارات المجهولة على Cardano. تلقى مشروع Fund 11 مبلغ 100,000 ADA وهو مدرج كمكتمل مع تصميم مخرجاته لتكون مفتوحة المصدر بالكامل.

تم تطوير تطبيق ثانٍ هو Proof of Innocence بواسطة ENCOINS وModulo-P وEryx Cooperative.

يتيح Proof of Innocence للمستخدم إثبات أن الأموال غير مرتبطة بمجموعة محددة من المعاملات الخبيثة من دون الكشف عن المعاملة المحددة أو العنوان الأصلي أو السجل الخاص المستخدم لتوليد الدليل.

يمكن لبروتوكول خصوصية تطبيق هذه الآلية عندما يسحب المستخدم أموالاً. بدلاً من نشر المسار الكامل للمعاملة، ينشئ المستخدم دليلاً بالمعرفة الصفرية يبين أن الإيداع أو الالتزام المعني غير مُدرج في قائمة الحظر الخاصة بالبروتوكول.

خصص Project Catalyst مبلغ 150,000 ADA للمبادرة. المشروع مدرج كمكتمل ويغطي البحث والدوائر الخاصة بالمعرفة الصفرية والعقود الذكية والاختبارات والتوثيق النهائي. وتبقى مخرجاته دليلاً على المفهوم بدلاً من أن تكون خدمة امتثال جاهزة للإنتاج.

هذا التفريق مهم للمطورين الذين يقيمون الشيفرة. يبين التنفيذ كيف يمكن أن يعمل التحقق الانتقائي على Cardano، لكن النشر التجاري سيظل يتطلب عقوداً مدققة ومصادر بيانات موثوقة وحوكمة مُعرَّفة بوضوح لقائمة الحظر وتكاملاً مع التطبيق الذي يعالج المعاملات الخاصة.

معلمات Powers of Tau القابلة لإعادة الاستخدام تقلل عمل إعداد ZK

تتطلب أنظمة الإثبات الفعالة مثل Groth16 إعداداً موثوقاً قبل أن تتمكن التطبيقات من توليد الأدلة والتحقق منها بأمان.

خلال مراسم Powers of Tau يساهم عدة مشاركين بعشوائية سرية في مجموعة مشتركة من المعلمات التشفيرية. يجب على كل مشارك تدمير مساهمته الخاصة بعد تضمينها. يظل الناتج النهائي آمناً طالما أن مشاركاً واحداً على الأقل أتم تلك العملية بصدق، لأنه لا يمكن لأي طرف إعادة بناء السر الكامل.

نظمت Modulo-P وENCOINS مراسم Powers of Tau تركز على Cardano بمشاركة نحو 40 فرداً من المجتمع. قال Salinas إن عملية المساهمات المتتابعة استمرت نحو 20 يوماً.

تلقت المبادرة 87,141 ADA عبر Project Catalyst وأتمت أربع مراحل تشمل التحضير وتنفيذ المراسم وبوابة عامة والتسليم النهائي. ويمكن إعادة استخدام المعلمات الناتجة بواسطة تطبيقات Cardano المتوافقة مما يلغي الحاجة إلى تكرار المرحلة الأولى من الإعداد لكل دائرة جديدة.

لا تزال تطبيقات Groth16 تتطلب مرحلة إعداد ثانية مرتبطة بالدائرة الخاصة بالتطبيق. يطوّر مساهمون من مجتمعي المعرفة الصفرية في Cardano وEthereum أداة Brebaje لتبسيط تلك المرحلة.

تهدف الأداة المحايدة بالنسبة للبروتوكولات إلى مساعدة الفرق على إنشاء مراسم وتنسيق المساهمات ونشر سجل المشاركين والحفاظ على سجل قابل للتدقيق للعملية. لا تزال Brebaje قيد التطوير النشط وليست بعد خدمة إنتاجية مكتملة.

تعطي Modulo-P الآن أولوية لتوثيق أقوى ومراجعة أمنية وتدفقات عمل أسهل للمطورين بدلاً من التوسع المستمر في عدد الأدوات التجريبية. يمكن لفرق Cardano البدء بالفعل بشيفرة مُحقِّق Groth16 العامة وعقود Cardano-Semaphore وتنفيذ مرجعي مكتمل لـ Proof of Innocence ومعلمات المرحلة الأولى القابلة لإعادة الاستخدام. أما العمل المتبقي فهو خاص بكل تطبيق بما في ذلك تصميم الدوائر وأي مراسم مطلوبة للمرحلة الثانية وعمليات التدقيق والتكامل الإنتاجي بدلاً من إعادة بناء الأساس الكامل للمعرفة الصفرية.