قمة المعرفة الصفرية 2024: ملاحظات قمة المعرفة الصفرية
عُقدت القمة الحادية عشر للمعرفة الصفرية في 10 أبريل 2024 في أثينا. اجتمع حوالي 500 مشارك، حيث شاركوا في أربعة اجتماعات متوازية على مدار يوم واحد. تلخص هذه المقالة أحدث التطورات في القمة بشأن الأجهزة المعرفية الصفرية، وأداء SNARK، وتصميم الشبكات اللامركزية لإثبات المعاملات.
تطوير الأجهزة ذات المعرفة الصفرية
لقد كانت دعم الأجهزة دائمًا محور التركيز الرئيسي في مجتمع الإثباتات ذات المعرفة الصفرية. عرضت كلمتان رئيسيتان في بداية المؤتمر أحدث التطورات في هذا المجال:
قام باحث معين بإجراء مراجعة شاملة للأجهزة المخصصة للمعرفة الصفرية، وقام بتصنيف الشركات ذات الصلة إلى ثلاث فئات: الشركات التي تستخدم الأجهزة العامة، والشركات المصنعة للأجهزة المخصصة، والشركات التي تدير شبكة إثبات لامركزية. وتوقع أنه بعد تحسين الأجهزة، يمكن أن تحقق تقنيات مثل نظام التحقق SNARK زيادة في الأداء تصل إلى 1000 مرة، مما سيكون له تأثير كبير على تطوير Ethereum في المستقبل. كما كشف أن مؤسسة معينة تخطط لتنظيم مسابقة رسمية للمحققين والمحققين، مع جوائز تصل إلى 20 مليون دولار.
قدم أحد مؤسسي شركة معينة نظام Binius الخاص بهم، وهو حل يقوم بتحسين نظام الإثبات وتصميم الأجهزة في نفس الوقت. يستخدم Binius برج ثنائي و بروتوكول sumcheck. أظهرت الاختبارات الأولية أن أداء دالة تجزئة Groestl يتفوق بشكل واضح على Keccak في بعض سيناريوهات التطبيق، وقد يؤثر هذا الاكتشاف على خيارات تصميم الأنظمة المستقبلية.
شبكة إثبات اللامركزية
يتصور العديد من المهنيين في الصناعة أن إثباتات الجيل الكبيرة في المستقبل ( مثل إثبات صحة دفعة من المعاملات في Rollup ) ستكتمل من قبل سوق متخصص في إثباتات لامركزية تنافسية.
شاركت الشريكة المؤسسة لشركة ما رؤيتها لشبكة المدققين التي ستطلق قريباً. وقد قامت بتحليل آليات التصميم المحتملة المختلفة لشبكة المدققين اللامركزية، ورأت أن التصاميم القائمة على المنافسة أو التعدين قد تكون صعبة لتحقيق النتائج المثلى. وقد اقترحت أن تكون أهداف التصميم هي: تقليل التكلفة، وزيادة التأخير، وتعزيز مقاومة الرقابة. وتنبأت أن نموذج المزاد هو الأكثر احتمالاً أن يصبح السائد، وقد يصبح في النهاية مماثلاً لآلية بناء الكتل الحالية.
قدّم طالب دكتوراه من جامعة معينة ورقة بحث جديدة حول اقتصاديات شبكة المصدّقين. أشار إلى أن المزادات الثنائية سهلة التأثر بالتواطؤ بين المصدّقين والمزايدين، لذا اقترح آلية بديلة تُسمّى Proo-phi، والتي أدخلت معاملات مطابقة جديدة وآلية إثبات. ومع ذلك، تحتاج آلية Proo-phi إلى ضبط معلمات السعة، ويبدو أن هذه مشكلة تصميم مفتوحة رئيسية.
ناقش كبير موظفي التكنولوجيا في إحدى الشركات سوق إثبات الحسابات المتعددة (MPC)، وخاصةً كيفية استخدام MPC لحماية الخصوصية بين العملاء الصغار والمثبتين الكبار. واستعرض كيفية اختيار مجموعة من أنظمة الإثبات لإجراء العمليات الخطية، لتحقيق الحد الأدنى من التكلفة في MPC.
الشهادات المعرفة الصفرية
ناقشت الاجتماع أيضًا عدة محاولات لبناء إثباتات عدم المعرفة بناءً على نظام الهوية الحالي:
قدّم أحد المؤسسين المشاركين في مشروع ما مقدمة عن إثبات ملكية عنوان البريد الإلكتروني باستخدام تقنية عدم المعرفة. تعتمد هذه الإثباتات على التحقق من توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين. يمكن تطبيق هذه التقنية في سيناريوهات مثل تحويل الأموال بشكل مجهول إلى عنوان بريد إلكتروني أو الإبلاغ بشكل مجهول.
شارك باحثون من شركة معينة مشروعهم Keyless، الذي يستخدم OpenID connect للتفاعل مع أنظمة الهوية التقليدية Web2. وهذا يجعل من الممكن تطبيقات مثل تحويل الأموال إلى حسابات Google أو Facebook.
ناقش أعضاء مشروع معين كيفية بناء شهادات مجهولة بناءً على جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدم إثبات أنه يحمل جواز سفر لدولة معينة وأنه بلغ سنًا محددًا، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
بشكل عام، عرضت هذه القمة أحدث التقدمات في تقنية الإثباتات الصفرية المعرفة في مجالات دعم الأجهزة، وتصميم الشبكات، والتحقق من الهوية، ورسمت خارطة طريق مثيرة للتوقعات لمستقبل هذا المجال.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
قمة المعرفة الصفرية لعام 2024: تحسينات الأجهزة، الشبكات المثبتة والتقدم الجديد في التعريف بالهوية
قمة المعرفة الصفرية 2024: ملاحظات قمة المعرفة الصفرية
عُقدت القمة الحادية عشر للمعرفة الصفرية في 10 أبريل 2024 في أثينا. اجتمع حوالي 500 مشارك، حيث شاركوا في أربعة اجتماعات متوازية على مدار يوم واحد. تلخص هذه المقالة أحدث التطورات في القمة بشأن الأجهزة المعرفية الصفرية، وأداء SNARK، وتصميم الشبكات اللامركزية لإثبات المعاملات.
تطوير الأجهزة ذات المعرفة الصفرية
لقد كانت دعم الأجهزة دائمًا محور التركيز الرئيسي في مجتمع الإثباتات ذات المعرفة الصفرية. عرضت كلمتان رئيسيتان في بداية المؤتمر أحدث التطورات في هذا المجال:
قام باحث معين بإجراء مراجعة شاملة للأجهزة المخصصة للمعرفة الصفرية، وقام بتصنيف الشركات ذات الصلة إلى ثلاث فئات: الشركات التي تستخدم الأجهزة العامة، والشركات المصنعة للأجهزة المخصصة، والشركات التي تدير شبكة إثبات لامركزية. وتوقع أنه بعد تحسين الأجهزة، يمكن أن تحقق تقنيات مثل نظام التحقق SNARK زيادة في الأداء تصل إلى 1000 مرة، مما سيكون له تأثير كبير على تطوير Ethereum في المستقبل. كما كشف أن مؤسسة معينة تخطط لتنظيم مسابقة رسمية للمحققين والمحققين، مع جوائز تصل إلى 20 مليون دولار.
قدم أحد مؤسسي شركة معينة نظام Binius الخاص بهم، وهو حل يقوم بتحسين نظام الإثبات وتصميم الأجهزة في نفس الوقت. يستخدم Binius برج ثنائي و بروتوكول sumcheck. أظهرت الاختبارات الأولية أن أداء دالة تجزئة Groestl يتفوق بشكل واضح على Keccak في بعض سيناريوهات التطبيق، وقد يؤثر هذا الاكتشاف على خيارات تصميم الأنظمة المستقبلية.
شبكة إثبات اللامركزية
يتصور العديد من المهنيين في الصناعة أن إثباتات الجيل الكبيرة في المستقبل ( مثل إثبات صحة دفعة من المعاملات في Rollup ) ستكتمل من قبل سوق متخصص في إثباتات لامركزية تنافسية.
شاركت الشريكة المؤسسة لشركة ما رؤيتها لشبكة المدققين التي ستطلق قريباً. وقد قامت بتحليل آليات التصميم المحتملة المختلفة لشبكة المدققين اللامركزية، ورأت أن التصاميم القائمة على المنافسة أو التعدين قد تكون صعبة لتحقيق النتائج المثلى. وقد اقترحت أن تكون أهداف التصميم هي: تقليل التكلفة، وزيادة التأخير، وتعزيز مقاومة الرقابة. وتنبأت أن نموذج المزاد هو الأكثر احتمالاً أن يصبح السائد، وقد يصبح في النهاية مماثلاً لآلية بناء الكتل الحالية.
قدّم طالب دكتوراه من جامعة معينة ورقة بحث جديدة حول اقتصاديات شبكة المصدّقين. أشار إلى أن المزادات الثنائية سهلة التأثر بالتواطؤ بين المصدّقين والمزايدين، لذا اقترح آلية بديلة تُسمّى Proo-phi، والتي أدخلت معاملات مطابقة جديدة وآلية إثبات. ومع ذلك، تحتاج آلية Proo-phi إلى ضبط معلمات السعة، ويبدو أن هذه مشكلة تصميم مفتوحة رئيسية.
ناقش كبير موظفي التكنولوجيا في إحدى الشركات سوق إثبات الحسابات المتعددة (MPC)، وخاصةً كيفية استخدام MPC لحماية الخصوصية بين العملاء الصغار والمثبتين الكبار. واستعرض كيفية اختيار مجموعة من أنظمة الإثبات لإجراء العمليات الخطية، لتحقيق الحد الأدنى من التكلفة في MPC.
الشهادات المعرفة الصفرية
ناقشت الاجتماع أيضًا عدة محاولات لبناء إثباتات عدم المعرفة بناءً على نظام الهوية الحالي:
قدّم أحد المؤسسين المشاركين في مشروع ما مقدمة عن إثبات ملكية عنوان البريد الإلكتروني باستخدام تقنية عدم المعرفة. تعتمد هذه الإثباتات على التحقق من توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين. يمكن تطبيق هذه التقنية في سيناريوهات مثل تحويل الأموال بشكل مجهول إلى عنوان بريد إلكتروني أو الإبلاغ بشكل مجهول.
شارك باحثون من شركة معينة مشروعهم Keyless، الذي يستخدم OpenID connect للتفاعل مع أنظمة الهوية التقليدية Web2. وهذا يجعل من الممكن تطبيقات مثل تحويل الأموال إلى حسابات Google أو Facebook.
ناقش أعضاء مشروع معين كيفية بناء شهادات مجهولة بناءً على جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدم إثبات أنه يحمل جواز سفر لدولة معينة وأنه بلغ سنًا محددًا، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
بشكل عام، عرضت هذه القمة أحدث التقدمات في تقنية الإثباتات الصفرية المعرفة في مجالات دعم الأجهزة، وتصميم الشبكات، والتحقق من الهوية، ورسمت خارطة طريق مثيرة للتوقعات لمستقبل هذا المجال.