قمة المعرفة الصفرية 2024: ملاحظات ميدانية

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

تطوير الأجهزة ذات المعرفة الصفرية

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

أجرى باحث معين مراجعة شاملة للأجهزة ذات المعرفة الصفرية، وقام بتقسيم الشركات ذات الصلة إلى ثلاث فئات: استخدام الأجهزة العامة، تصنيع الأجهزة المخصصة، وتشغيل شبكة إثبات لامركزية. وتوقع أن "الشكل النهائي" للـ zkVM قد يحقق زيادة في كفاءة الحوسبة تصل إلى 1000 مرة، مما سيكون له تأثير كبير على الإصدارات المستقبلية من الإيثريوم. كما ذكر أنه سيتم الإعلان قريباً عن مسابقة للتحقق الرسمي للمدققين والمتحققين، مع جوائز تصل إلى 20 مليون دولار.

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

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

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

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

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

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

إثبات المعرفة الصفرية

تتمحور الجلسات الثلاث حول الجهود المبذولة لبناء إثباتات المعرفة الصفرية استنادًا إلى أنظمة الهوية الحالية:

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

ناقش باحث في مختبر نظامًا يستخدم OpenID Connect للتفاعل مع الهويات التقليدية في Web2. يمكن أن يتيح هذا النظام تطبيقات مثل إرسال الأموال إلى حسابات Google أو Facebook.

ناقش ممثل مشروع ما كيفية بناء شهادات مجهولة بناءً على جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدم إثبات أنه يحمل جواز سفر أمريكي وأنه تجاوز 25 عامًا، دون الحاجة إلى الكشف عن رقم جواز السفر أو العمر الدقيق.