في 10 أبريل 2024، عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا. حضر حوالي 500 مشارك هذا الحدث الذي استمر ليوم واحد، حيث تم تقديم أربع محاضرات. فيما يلي ملخص لأهم محتويات القمة، الذي يغطي أحدث التطورات في الأجهزة الصفرية، أداء SNARK، وتصميم شبكة الإثبات.
تطوير الأجهزة ZK
كان دعم الأجهزة التي تنتج إثباتات المعرفة الصفرية محور اهتمام الصناعة. وقد استعرضت الجلستان الرئيسيتان في المؤتمر أحدث التطورات في هذا المجال:
قام أحد الباحثين بتقديم نظرة شاملة على الأجهزة المتعلقة بـ ZK، بما في ذلك استخدام الأجهزة العامة، وتصنيع الأجهزة المخصصة، وكذلك الشركات التي تدير شبكة إثبات لامركزية. وقد توقع أنه من خلال تحسين الأجهزة، يمكن لنظام التحقق SNARK والعديد من التحسينات القادمة أن يحقق زيادة في كفاءة الحساب تصل إلى 1000 مرة، مما سيكون له تأثير كبير على الإصدارات المستقبلية من إيثيريوم. كما ذكر أنه سيتم تنظيم مسابقة للتحقق الرسمي من المُثبتين والمُحققين، مع جوائز تصل إلى 20 مليون دولار.
قدم أحد مؤسسي شركة ما نظام Binius، بالإضافة إلى مفهوم تصميم نظام الإثبات والأجهزة في نفس الوقت. يستخدم Binius برج ثنائي و بروتوكول sumcheck. من المثير للاهتمام أن الاختبارات المبكرة أظهرت أن أداء دالة التجزئة Groestl كان أفضل بكثير في بعض التطبيقات مقارنةً بـ Keccak.
شبكة المدققين اللامركزية
يتصور العديد من المتخصصين في الصناعة أن إثبات توليد البيانات الكبيرة في المستقبل (مثل صحة دفعة من المعاملات في Rollup) سيتم بواسطة سوق إثباتات متخصصة تنافسية ومركزية.
ناقشت إحدى المؤسسين المشاركين في شركة ما الشبكة الجديدة للمصادقين التي ستطلق قريبًا. قامت بتحليل مختلف تصميمات الآليات المحتملة واعتبرت أن التصميمات القائمة على المنافسة أو التعدين قد لا تكون فعالة. وقد اقترحت أن تكون الأهداف التصميمية هي: تقليل التكاليف، وزيادة التأخير، وتعزيز القدرة على مقاومة الرقابة. وتنبأت بأن نمط المزاد هو الأكثر احتمالاً للنجاح، ومن الممكن أن يشبه في المستقبل بناء الكتل اليوم.
قدم طالب الدكتوراه من إحدى الجامعات ورقة جديدة حول اقتصاد شبكة المدققين. وأشار إلى أن المزادات الثنائية عرضة للتأثير من تواطؤ المدققين والمزايدين، واقترح آلية بديلة تُسمى Proo-phi، والتي قدمت آليات جديدة للمطابقة والتداول وإثبات المعاملات.
ناقش المدير الفني لشركة معينة سوق إثبات الدعم للحوسبة متعددة الأطراف (MPC)، خاصة كيفية استخدام MPC لحماية خصوصية العملاء الصغار والمثبتين الكبار. استعرض كيفية اختيار مجموعة أنظمة الإثبات لإجراء العمليات الخطية بهدف تقليل التكاليف في MPC.
ابتكار شهادات ZK
تركزت المناقشات الثلاث على جهود بناء إثباتات المعرفة الصفرية من أنظمة الهوية الحالية:
قدم أحد مؤسسي مشروع ما إثبات ملكية عنوان البريد الإلكتروني ZK، والذي يعتمد على إثبات المعرفة بتوقيع DKIM للبريد الإلكتروني لعنوان معين. يمكن تطبيق هذه التقنية في سيناريوهات مثل تحويل الأموال إلى عنوان البريد الإلكتروني، والإبلاغ عن المخالفات بشكل مجهول.
ناقش باحث في مختبر ما تقنية استخدام OpenID connect للتفاعل مع الهويات التقليدية في الويب 2. وهذا يجعل من الممكن تطبيق التحويلات إلى حسابات Google أو Facebook.
ناقش أعضاء المشروع كيفية بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدم إثبات أنه يمتلك جواز سفر لدولة معينة وقد بلغ سنًا محددًا، دون الحاجة إلى الكشف عن معلومات محددة.
تظهر هذه الابتكارات الإمكانيات الكبيرة لتكنولوجيا المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية، مما يوفر أفكارًا جديدة لإدارة الهوية الرقمية في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 8
أعجبني
8
5
مشاركة
تعليق
0/400
MetaNomad
· منذ 17 س
كلها متابعة للأجهزة، يبدو أن الأمر احترافي جداً.
شاهد النسخة الأصليةرد0
MoonBoi42
· منذ 17 س
كادت أن تفوتني هذه المناسبة العظيمة
شاهد النسخة الأصليةرد0
ZKSherlock
· منذ 17 س
في الواقع... يبدو أن تسريع 1000x هو مجرد ضجيج تسويقي. أين الإثبات الرياضي؟
شاهد النسخة الأصليةرد0
AirdropChaser
· منذ 18 س
1000 ضعف الرفع الآن حقًا أصبحت الأمور ممتعة
شاهد النسخة الأصليةرد0
MEVictim
· منذ 18 س
أريد أن أرى إذا كانت 1000 مرة مجرد كلام أم يمكن فعلاً تحقيقها
قمة المعرفة الصفرية 2024 تركز على الأجهزة الصفرية وشبكات الإثبات اللامركزية
قمة المعرفة صفر 2024: ملاحظات في الموقع
في 10 أبريل 2024، عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا. حضر حوالي 500 مشارك هذا الحدث الذي استمر ليوم واحد، حيث تم تقديم أربع محاضرات. فيما يلي ملخص لأهم محتويات القمة، الذي يغطي أحدث التطورات في الأجهزة الصفرية، أداء SNARK، وتصميم شبكة الإثبات.
تطوير الأجهزة ZK
كان دعم الأجهزة التي تنتج إثباتات المعرفة الصفرية محور اهتمام الصناعة. وقد استعرضت الجلستان الرئيسيتان في المؤتمر أحدث التطورات في هذا المجال:
قام أحد الباحثين بتقديم نظرة شاملة على الأجهزة المتعلقة بـ ZK، بما في ذلك استخدام الأجهزة العامة، وتصنيع الأجهزة المخصصة، وكذلك الشركات التي تدير شبكة إثبات لامركزية. وقد توقع أنه من خلال تحسين الأجهزة، يمكن لنظام التحقق SNARK والعديد من التحسينات القادمة أن يحقق زيادة في كفاءة الحساب تصل إلى 1000 مرة، مما سيكون له تأثير كبير على الإصدارات المستقبلية من إيثيريوم. كما ذكر أنه سيتم تنظيم مسابقة للتحقق الرسمي من المُثبتين والمُحققين، مع جوائز تصل إلى 20 مليون دولار.
قدم أحد مؤسسي شركة ما نظام Binius، بالإضافة إلى مفهوم تصميم نظام الإثبات والأجهزة في نفس الوقت. يستخدم Binius برج ثنائي و بروتوكول sumcheck. من المثير للاهتمام أن الاختبارات المبكرة أظهرت أن أداء دالة التجزئة Groestl كان أفضل بكثير في بعض التطبيقات مقارنةً بـ Keccak.
شبكة المدققين اللامركزية
يتصور العديد من المتخصصين في الصناعة أن إثبات توليد البيانات الكبيرة في المستقبل (مثل صحة دفعة من المعاملات في Rollup) سيتم بواسطة سوق إثباتات متخصصة تنافسية ومركزية.
ناقشت إحدى المؤسسين المشاركين في شركة ما الشبكة الجديدة للمصادقين التي ستطلق قريبًا. قامت بتحليل مختلف تصميمات الآليات المحتملة واعتبرت أن التصميمات القائمة على المنافسة أو التعدين قد لا تكون فعالة. وقد اقترحت أن تكون الأهداف التصميمية هي: تقليل التكاليف، وزيادة التأخير، وتعزيز القدرة على مقاومة الرقابة. وتنبأت بأن نمط المزاد هو الأكثر احتمالاً للنجاح، ومن الممكن أن يشبه في المستقبل بناء الكتل اليوم.
قدم طالب الدكتوراه من إحدى الجامعات ورقة جديدة حول اقتصاد شبكة المدققين. وأشار إلى أن المزادات الثنائية عرضة للتأثير من تواطؤ المدققين والمزايدين، واقترح آلية بديلة تُسمى Proo-phi، والتي قدمت آليات جديدة للمطابقة والتداول وإثبات المعاملات.
ناقش المدير الفني لشركة معينة سوق إثبات الدعم للحوسبة متعددة الأطراف (MPC)، خاصة كيفية استخدام MPC لحماية خصوصية العملاء الصغار والمثبتين الكبار. استعرض كيفية اختيار مجموعة أنظمة الإثبات لإجراء العمليات الخطية بهدف تقليل التكاليف في MPC.
ابتكار شهادات ZK
تركزت المناقشات الثلاث على جهود بناء إثباتات المعرفة الصفرية من أنظمة الهوية الحالية:
قدم أحد مؤسسي مشروع ما إثبات ملكية عنوان البريد الإلكتروني ZK، والذي يعتمد على إثبات المعرفة بتوقيع DKIM للبريد الإلكتروني لعنوان معين. يمكن تطبيق هذه التقنية في سيناريوهات مثل تحويل الأموال إلى عنوان البريد الإلكتروني، والإبلاغ عن المخالفات بشكل مجهول.
ناقش باحث في مختبر ما تقنية استخدام OpenID connect للتفاعل مع الهويات التقليدية في الويب 2. وهذا يجعل من الممكن تطبيق التحويلات إلى حسابات Google أو Facebook.
ناقش أعضاء المشروع كيفية بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدم إثبات أنه يمتلك جواز سفر لدولة معينة وقد بلغ سنًا محددًا، دون الحاجة إلى الكشف عن معلومات محددة.
تظهر هذه الابتكارات الإمكانيات الكبيرة لتكنولوجيا المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية، مما يوفر أفكارًا جديدة لإدارة الهوية الرقمية في المستقبل.