في 10 أبريل 2024، أقيمت القمة الحادية عشرة للمعرفة الصفرية في أثينا. شارك حوالي 500 شخص في الفعالية التي استمرت ليوم واحد، حيث تم تقديم أربع خطب. فيما يلي ملخص لأهم محتويات القمة، التي تغطي أحدث الأجهزة المعرفية الصفرية، وأداء SNARK، وتصميم الشبكات اللامركزية لإثبات المعرفة.
تطوير الأجهزة ZK
دعم الأجهزة لإثباتات المعرفة الصفرية كان دائمًا محور اهتمام الصناعة. في هذا المؤتمر، كانت هناك خطبتان رئيسيتان تناقشان أحدث التطورات في هذا المجال:
قام باحث بتقديم نظرة شاملة على أجهزة ZK، وقام بتقسيم الشركات ذات الصلة إلى ثلاث فئات: الشركات التي تستخدم الأجهزة العامة، الشركات التي تصنع الأجهزة المخصصة، والشركات التي تدير شبكات إثبات لامركزية. وتنبأ بأنه مع تطور الأجهزة المخصصة وتقنيات التحسين، من المتوقع أن تنخفض تكاليف حساب zkVM بمقدار 1000 مرة. قد يكون لذلك تأثير كبير على مستقبل إيثريوم. كما أشار إلى أنه سيتم تنظيم مسابقة للتحقق الرسمي للمثبتين والمدققين، مع جوائز تصل إلى 20 مليون دولار.
مقدم آخر قدم نظام Binius، وهي طريقة لتصميم نظام إثبات وهاردوير في آن واحد. يستخدم Binius حقل برج ثنائي وبروتوكول sumcheck. ومن المثير للاهتمام أن الاختبارات المبكرة أظهرت أن دالة التجزئة Groestl تتفوق في الأداء على Keccak في بعض التطبيقات.
شبكة إثبات اللامركزية
يعتقد على نطاق واسع في الصناعة أن إثبات صحة مجموعة من المعاملات في Rollup في المستقبل، مثل (، سيتم إنجازه بواسطة سوق مخصص للمثبتين التنافسيين وغير المركزي.
قدمت متحدثة عرضًا عن شبكة المدققين التي يعتزمون إطلاقها قريبًا. قامت بتحليل تصميم آليات الشبكة المختلفة، ورأت أن التصميمات القائمة على المنافسة أو التعدين قد لا تحقق النتائج المثلى. اقترحت أن تكون أهداف التصميم على النحو التالي: تقليل التكاليف، وزيادة التأخير، ومقاومة الرقابة. وتنبأت بأن نموذج المزاد هو الأكثر احتمالاً للنجاح، وقد يشبه في النهاية بناء الكتل اليوم.
تحدث متحدث آخر عن ورقة جديدة تتعلق باقتصاد الشبكات المثبتة. قدموا آلية جديدة تسمى Proo-phi، والتي أدخلت آليات مطابقة وتحقق جديدة لمعالجة مشكلات التواطؤ التي قد تظهر في المزادات الثنائية.
هناك خطاب آخر ناقش سوق الإثبات لدعم حسابات متعددة الأطراف )MPC(، وخاصة كيفية تحقيق تفاعل غير موثوق بين العملاء الصغار والمثبتين الكبار مع حماية الخصوصية.
ابتكار الشهادات ZK
تناقش ثلاث محاضرات الجهود المبذولة لبناء شهادات عدم المعرفة على أساس أنظمة الهوية الحالية:
يكرس مشروع ما جهوده لتحقيق إثبات ملكية عنوان البريد الإلكتروني ZK، والذي يمكن تطبيقه في سيناريوهات مثل التحويلات المالية عبر البريد الإلكتروني المجهول والإبلاغ.
مشروع آخر يركز على استخدام OpenID connect للتفاعل مع هويات الويب 2 التقليدية، مما يجعل من الممكن تطبيقات مثل إرسال الأموال إلى حسابات Google أو Facebook.
المشروع الثالث يستكشف كيفية بناء شواهد هوية مجهولة من جوازات السفر الإلكترونية الحالية، مثل إثبات حيازة جواز سفر من دولة معينة وأن الشخص قد بلغ سنًا معينًا، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
فتحت هذه الابتكارات آفاقًا جديدة لاستخدام تقنية المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
9
إعادة النشر
مشاركة
تعليق
0/400
GasFeeLady
· 07-17 13:27
متى تضخ الأجهزة زكفم غاز؟ أراقب الأمر كالنسر الآن
شاهد النسخة الأصليةرد0
PerpetualLonger
· 07-17 12:45
سرعة بناء الأجهزة zk هذه ستساعد كثيراً في استعادة رأس المال المستثمر، المراكز الطويلة تنتظر突破!
شاهد النسخة الأصليةرد0
AlwaysAnon
· 07-16 07:11
ال zkvm هذه المرة ستنفجر
شاهد النسخة الأصليةرد0
SleepTrader
· 07-15 19:10
أليس هذا مجرد حديث يومي عن أشياء زك؟
شاهد النسخة الأصليةرد0
DecentralizedElder
· 07-15 19:09
القمة ممتعة حقًا، zk تفعل كل هذه الأشياء الرائعة.
شاهد النسخة الأصليةرد0
SandwichHunter
· 07-15 19:06
دعنا نلعب ببعض المعرفة الصفرية
شاهد النسخة الأصليةرد0
ThesisInvestor
· 07-15 19:02
zk التقنية ستذهب للقمر
شاهد النسخة الأصليةرد0
SatoshiNotNakamoto
· 07-15 18:58
حقاً تجرؤ على تنظيمها في أثينا
شاهد النسخة الأصليةرد0
RetailTherapist
· 07-15 18:57
ما هذا، وصلنا إلى أثينا مرة أخرى، الأمر مشوق للغاية!
قمة المعرفة الصفرية 2024: تقدم الأجهزة الخاصة بالمعرفة الصفرية وتصميم شبكة الإثبات كأبرز النقاط
تقرير ميداني عن قمة المعرفة الصفرية 2024
في 10 أبريل 2024، أقيمت القمة الحادية عشرة للمعرفة الصفرية في أثينا. شارك حوالي 500 شخص في الفعالية التي استمرت ليوم واحد، حيث تم تقديم أربع خطب. فيما يلي ملخص لأهم محتويات القمة، التي تغطي أحدث الأجهزة المعرفية الصفرية، وأداء SNARK، وتصميم الشبكات اللامركزية لإثبات المعرفة.
تطوير الأجهزة ZK
دعم الأجهزة لإثباتات المعرفة الصفرية كان دائمًا محور اهتمام الصناعة. في هذا المؤتمر، كانت هناك خطبتان رئيسيتان تناقشان أحدث التطورات في هذا المجال:
قام باحث بتقديم نظرة شاملة على أجهزة ZK، وقام بتقسيم الشركات ذات الصلة إلى ثلاث فئات: الشركات التي تستخدم الأجهزة العامة، الشركات التي تصنع الأجهزة المخصصة، والشركات التي تدير شبكات إثبات لامركزية. وتنبأ بأنه مع تطور الأجهزة المخصصة وتقنيات التحسين، من المتوقع أن تنخفض تكاليف حساب zkVM بمقدار 1000 مرة. قد يكون لذلك تأثير كبير على مستقبل إيثريوم. كما أشار إلى أنه سيتم تنظيم مسابقة للتحقق الرسمي للمثبتين والمدققين، مع جوائز تصل إلى 20 مليون دولار.
مقدم آخر قدم نظام Binius، وهي طريقة لتصميم نظام إثبات وهاردوير في آن واحد. يستخدم Binius حقل برج ثنائي وبروتوكول sumcheck. ومن المثير للاهتمام أن الاختبارات المبكرة أظهرت أن دالة التجزئة Groestl تتفوق في الأداء على Keccak في بعض التطبيقات.
شبكة إثبات اللامركزية
يعتقد على نطاق واسع في الصناعة أن إثبات صحة مجموعة من المعاملات في Rollup في المستقبل، مثل (، سيتم إنجازه بواسطة سوق مخصص للمثبتين التنافسيين وغير المركزي.
قدمت متحدثة عرضًا عن شبكة المدققين التي يعتزمون إطلاقها قريبًا. قامت بتحليل تصميم آليات الشبكة المختلفة، ورأت أن التصميمات القائمة على المنافسة أو التعدين قد لا تحقق النتائج المثلى. اقترحت أن تكون أهداف التصميم على النحو التالي: تقليل التكاليف، وزيادة التأخير، ومقاومة الرقابة. وتنبأت بأن نموذج المزاد هو الأكثر احتمالاً للنجاح، وقد يشبه في النهاية بناء الكتل اليوم.
تحدث متحدث آخر عن ورقة جديدة تتعلق باقتصاد الشبكات المثبتة. قدموا آلية جديدة تسمى Proo-phi، والتي أدخلت آليات مطابقة وتحقق جديدة لمعالجة مشكلات التواطؤ التي قد تظهر في المزادات الثنائية.
هناك خطاب آخر ناقش سوق الإثبات لدعم حسابات متعددة الأطراف )MPC(، وخاصة كيفية تحقيق تفاعل غير موثوق بين العملاء الصغار والمثبتين الكبار مع حماية الخصوصية.
ابتكار الشهادات ZK
تناقش ثلاث محاضرات الجهود المبذولة لبناء شهادات عدم المعرفة على أساس أنظمة الهوية الحالية:
يكرس مشروع ما جهوده لتحقيق إثبات ملكية عنوان البريد الإلكتروني ZK، والذي يمكن تطبيقه في سيناريوهات مثل التحويلات المالية عبر البريد الإلكتروني المجهول والإبلاغ.
مشروع آخر يركز على استخدام OpenID connect للتفاعل مع هويات الويب 2 التقليدية، مما يجعل من الممكن تطبيقات مثل إرسال الأموال إلى حسابات Google أو Facebook.
المشروع الثالث يستكشف كيفية بناء شواهد هوية مجهولة من جوازات السفر الإلكترونية الحالية، مثل إثبات حيازة جواز سفر من دولة معينة وأن الشخص قد بلغ سنًا معينًا، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
فتحت هذه الابتكارات آفاقًا جديدة لاستخدام تقنية المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية.