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