Cardano تقترح دعماً أصيلاً لـ Poseidon لتطبيقات المعرفة الصفرية

مقترح تحسين Cardano 0199 يقدم بدائية تشفيرية جديدة في Plutus لتطبيقات المعرفة الصفرية. أكد محررو CIP اعتماده كمرشح في 15 سبتمبر عقب مراجعة تقنية أولية. معاملات ADA العادية غير متأثرة لأن المقترح لم يُدمج أو يُفعّل بعد.

CIP-0199 Introduces a New Plutus Primitive

سيضيف المقترح دالة مدمجة في Plutus باسم bls12_381_poseidonPermutation. ستتمكن العقود الذكية من تنفيذ تبديل Poseidon عبر تطبيق Plutus الأصلي في Cardano بدلاً من إعادة حساب العملية داخل سكريبت.

Poseidon هي عائلة من الدوال التشفيرية المصممة لأنظمة المعرفة الصفرية. وعلى عكس دوال الهاش التقليدية مثل SHA-256 وBlake2b، فهي تستخدم النوع نفسه من حسابات الحقول المنتهية الموجودة في العديد من دوائر ZK.

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

كتب CIP-0199 كل من Gamze Orhon Kilic وThomas Vellekoop. لا تزال طلبات السحب مفتوحة بينما تُناقَش تفاصيل التنفيذ مع فريق Plutus.

Poseidon Connects Cardano With Existing ZK Tooling

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

وفقاً لـ CIP-0199، قد تتطلب دوال الهاش التقليدية عشرات الآلاف من قيود الدارة لتقييم واحد. يمكن لـ Poseidon تنفيذ عمل مماثل بعدة مئات من القيود لأنه يعتمد على عمليات جمع وضرب أصلية في الحقل.

سيحتوي السجل الأولي على نسختين من Poseidon. الأولى تعتمد على midnight-zk وهي مكتبة معرفة صفرية تستخدمها Midnight. والثانية تتبع منظومة Circom-style R1CS فوق حقل BLS12-381 السكالاري.

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

تضع القياسات الأولية تكلفة تبديل Poseidon واحد عند نحو 22 إلى 24 ميكروثانية على آلة قياس نموذج تكلفة Plutus. يُقدَّر أن يستهلك نداء واحد نحو 0.24 بالمئة من ميزانية وحدة المعالجة المركزية لكل معاملة حالياً، بينما يستخدم برهان Merkle بعمق 20 نحو 4.8 بالمئة. تأتي هذه النتائج من عمل تكامل أولي وليست من إصدار إنتاجي لـ Cardano.

Security Review Defines the Activation Path

يقترح CIP-0199 تبديل Poseidon بدلاً من دالة هاش كاملة. تستخدم منظومات ZK أعرافاً مختلفة لترتيب المدخلات وتهيئة الحالة الداخلية وتحديد المخرج النهائي.

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

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

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

إذا تم التفعيل، فستمنح CIP-0199 نظام Plutus مكوناً أصيلاً للتحقق من الالتزامات وإثباتات المعرفة الصفرية المعتمدة على Poseidon. وستوسع بنية Cardano التطويرية حول ADA مع إرساء مسار توافق محدد لمنظومات الإثبات القائمة على Midnight وCircom.