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