قمة المعرفة الصفرية 2024: تقرير مباشر

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

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

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

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

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

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

ناقش عدد من الخبراء الاتجاهات المستقبلية لشبكات إثبات اللامركزية:

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

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

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

ابتكار شهادات ZK

ناقشت الاجتماع أيضًا العديد من الخطط لبناء الشهادات الصفرية المعرفة بناءً على نظام الهوية الحالي:

• إثبات ملكية عنوان البريد الإلكتروني ZK المعتمد على توقيع DKIM للبريد الإلكتروني، يمكن استخدامه في سيناريوهات مثل التحويلات المجهولة والإبلاغ.

• استخدام OpenID connect للتفاعل مع الهوية التقليدية على الويب 2، مما يتيح تطبيقات مثل تحويل الأموال إلى حسابات وسائل التواصل الاجتماعي.

• بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية، مما يسمح للمستخدمين بإثبات معلومات معينة دون الكشف عن تفاصيل شخصية.

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