قمة المعرفة الصفرية 2024: مشاهدات الصناعة

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

تطوير الأجهزة ZK

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

قدم باحث من مؤسسة معينة نظرة شاملة على مجال الأجهزة ZK، بما في ذلك الشركات التي تستخدم الأجهزة العامة، والشركات التي تصنع الأجهزة المخصصة، والشركات التي تشغل شبكات إثبات لامركزية. وقد توقع أنه مع تطور الأجهزة المخصصة وتقنيات التحسين المختلفة، قد تحقق zkVM زيادة في كفاءة الحساب تصل إلى 1000 ضعف، مما سيكون له تأثير عميق على بنية blockchain في المستقبل. بالإضافة إلى ذلك، ذكر أنه سيتم تنظيم مسابقة للتحقق الرسمي بين المدققين والمتحققين، مع جوائز تصل إلى 20 مليون دولار.

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

شبكة إثبات اللامركزية

يعتقد المتخصصون في الصناعة عمومًا أن إثبات生成 التصريحات على نطاق واسع في المستقبل (مثل التحقق من صحة مجموعة من المعاملات في Rollup) سيتم من خلال سوق محترف موزع ومتنافس بشدة.

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

قدّم أحد الباحثين نتائج دراستهم الأخيرة حول اقتصاديات شبكات الإثبات. وقد اقترحوا آلية جديدة تُدعى Proo-phi، تهدف إلى معالجة مشكلة تواطؤ الإثباتين والمزايدين التي قد تحدث في المزادات الثنائية. ومع ذلك، لا يزال كيفية ضبط معايير سعة Proof-phi يمثل قضية رئيسية بحاجة إلى حل.

ناقش المسؤول الفني في شركة أخرى سوق الإثباتات الداعمة للحوسبة متعددة الأطراف (MPC)، خاصة كيفية استخدام MPC للحفاظ على الخصوصية بين العملاء الصغار والمثبتين الكبار. وأكد على أهمية اختيار مجموعة أنظمة الإثبات المناسبة لتحسين تكلفة العمليات الخطية في MPC.

ابتكار الشهادات الرقمية

تحدثت القمة عن استكشاف مجموعة من الحلول لبناء شهادات المعرفة الصفرية باستخدام أنظمة الهوية الحالية.

مؤسس مشارك في شركة ناشئة قدم نظام إثبات الهوية بدون معرفة يعتمد على البريد الإلكتروني. يستخدم النظام توقيع DKIM للتحقق من سيطرة المستخدم على عنوان بريد إلكتروني معين، مما يفتح آفاقًا جديدة للتطبيقات مثل التحويلات المالية المجهولة والإبلاغ.

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

عرض فريق آخر كيفية بناء شهادات مجهولة استنادًا إلى جوازات السفر الإلكترونية الحالية، مما يمكّن المستخدمين من إثبات سمات الهوية المحددة (مثل الجنسية والفئة العمرية) دون الحاجة إلى الكشف عن معلومات شخصية محددة.

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