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

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

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

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

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

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

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

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

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

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

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

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

تركزت المناقشات الثلاث على الجهود المبذولة لبناء شهادات عدم المعرفة من أنظمة الهوية الحالية:

1. إثبات ملكية عنوان عدم المعرفة المستند إلى البريد الإلكتروني، يعتمد على التحقق من توقيع DKIM.

2. استخدام OpenID connect للتفاعل مع هوية web2 التقليدية، لتحقيق تطبيقات مثل تحويل الأموال إلى حسابات Google أو Facebook.

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

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