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

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

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

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

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

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

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

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

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

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

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

شهادة المعرفة الصفرية

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

• مشروع يهدف إلى تطوير إثبات ملكية عنوان البريد الإلكتروني بدون معرفة، يعتمد على إثبات المعرفة بتوقيع DKIM.
• مشروع آخر يستخدم OpenID connect للتفاعل مع هويات الويب 2 التقليدية، مما يجعل من الممكن تطبيق مثل تحويل الأموال إلى حسابات Google أو Facebook.
• المشروع الثالث ناقش كيفية بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية، مثل إثبات حيازة جواز سفر لدولة معينة والعمر، دون الكشف عن معلومات محددة.

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