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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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