جوزيف بونيو، شريك بحثي وأستاذ مساعد في جامعة نيويورك، شارك في القمة الحادية عشرة للمعرفة الصفرية التي عُقدت في أثينا في 10 أبريل. جذبت هذه الفعالية حوالي 500 مشارك، حيث تم عقد أربع محاضرات في نفس اليوم. فيما يلي ملخص تقرير بونيو، الذي يغطي أحدث التطورات في الأجهزة المعتمدة على المعرفة الصفرية، وأداء SNARK، وتصميم شبكات الإثبات.
الأجهزة ZK
كان دعم الأجهزة لتوليد الشهادات هدفًا طويل الأمد للمجتمع. استعرضت الكلمتان الرئيسيتان في المسرح أحدث التطورات في هذا المجال.
قدّم أحد الباحثين نظرة شاملة على الأجهزة الخاصة بـ ZK، بما في ذلك تصنيف الشركات في هذا المجال. ذكر الشركات التي تستخدم الأجهزة العامة، والشركات التي تصنع الأجهزة المخصصة، والشركات التي تدير شبكات إثبات لامركزية. وتوقع أن أنظمة التحقق من SNARK المحسّنة للأجهزة وغيرها من التحسينات القادمة، بالإضافة إلى الأجهزة المخصصة، قد تحقق زيادة في كفاءة الحساب تصل إلى 1000 مرة، مما قد يؤثر على النسخة النهائية من إيثيريوم. كما أشار إلى أنه سيتم الإعلان عن مسابقة لإجراء تحقق رسمي للمثبتين والمدققين، مع جوائز تصل إلى 20 مليون دولار.
ناقش المؤسسون المشاركون لشركة معينة مفهوم تصميم نظام إثبات والأجهزة في نفس الوقت. يستخدم نظامهم حقول البرج الثنائية وبروتوكول Sumcheck. أظهرت الاختبارات المبكرة أن أداء دالة التجزئة Groestl يتفوق بشكل ملحوظ على Keccak في بعض التطبيقات.
شبكة إثبات اللامركزية
يتصور العديد من المهنيين في الصناعة أن إنتاج إثباتات العروض الكبيرة في المستقبل (مثل صحة مجموعة من المعاملات في Rollup) سيتم من قبل سوق إثباتات متخصصة تنافسية ومركزية.
قدمت الشريكة المؤسسة في إحدى الشركات شبكة إثبات جديدة سيتم إطلاقها قريباً. وتحدثت عن مختلف تصميمات الآليات المحتملة، واعتبرت أن التصميم القائم على المنافسة أو التعدين قد لا يكون فعالاً. واقترحت أن تكون أهداف التصميم هي: الحد الأدنى من التكلفة، والحد الأقصى من التأخير، ومقاومة الرقابة. وتنبأت بأن نموذج الإصدار/التخزين قد يكون فعالاً، ولكن نموذج المزاد هو الأكثر احتمالاً للنجاح، وقد يكون في النهاية مشابهًا لبناء الكتل في الوقت الحاضر.
قدّم طلاب الدكتوراه في جامعة ييل ورقة جديدة حول اقتصاديات شبكات المُثبِت. وأشاروا إلى أن المزادات الثنائية سهلة التأثر بالتواطؤ بين المُثبِت والمزايدين، واقترحوا آلية بديلة تُسمى Proo-phi، التي تُدخل آليات جديدة للمطابقة والتداول وإثبات المعاملات.
ناقش كبير موظفي التكنولوجيا في إحدى الشركات سوق الإثباتات المدعومة بالحسابات متعددة الأطراف (MPC)، وخاصةً استخدام MPC للحفاظ على خصوصية العملاء الصغار والمثبتين الكبار. استكشف كيفية اختيار مجموعة أنظمة الإثبات لإجراء العمليات الخطية من أجل تقليل التكاليف.
شهادات ZK
تناقشت ثلاث محاضرات مختلفة حول جهود بناء إثباتات المعرفة الصفرية من أنظمة الهوية الحالية.
قدم أحد مؤسسي شركة معينة إثبات ملكية عنوان البريد الإلكتروني ZK. تعتمد هذه على معرفة توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين. يمكن للعديد من التطبيقات من خلال إثبات ZK معرفة ما إذا كان المستخدم يتحكم في عنوان البريد الإلكتروني، بما في ذلك تحويل الأموال إلى عنوان البريد الإلكتروني والإبلاغ بشكل مجهول.
ناقش العلماء الباحثون في مختبر معين تقنية استخدام OpenID Connect للتفاعل مع الهويات التقليدية في الويب 2. تتفاعل هذه التقنية مع مقدمي OpenID الحاليين، مما يثبت أن المستخدم يتحكم في عنوان معين، مما يجعل التطبيقات مثل تحويل الأموال إلى حسابات Google أو Facebook ممكنة.
ناقش ممثل شركة كيفية بناء شهادات مجهولة الهوية من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدمين إثبات أنهم يحملون جواز سفر لدولة معينة وقد بلغوا سنًا معينًا دون الحاجة إلى الكشف عن رقم الجواز أو العمر الدقيق.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 9
أعجبني
9
4
إعادة النشر
مشاركة
تعليق
0/400
blockBoy
· منذ 11 س
لا أستطيع أن أصدق أن 500 شخص شاهدوا ZK
شاهد النسخة الأصليةرد0
AirdropHunterWang
· منذ 11 س
أنا صياد التوزيع المجاني شياو وانغ، دعني أترك تعليقي هل أصبح لهذا zk أسلوب استخدام بالأجهزة؟ الأمور تسير بشكل متصاعد
شاهد النسخة الأصليةرد0
CodeZeroBasis
· منذ 11 س
عدم وجود أساس يعني عدم القدرة على تحمل هذه الاجتماع
شاهد النسخة الأصليةرد0
MidnightGenesis
· منذ 11 س
منطقة الأجهزة منتصف الليل قد تم تحديثها مرة أخرى كما كنت أتوقع
قمة المعرفة الصفرية 2024: اختراقات الأجهزة وشبكات الإثبات اللامركزية تقود المستقبل
قمة المعرفة الصفرية 2024: تسجيل مباشر
جوزيف بونيو، شريك بحثي وأستاذ مساعد في جامعة نيويورك، شارك في القمة الحادية عشرة للمعرفة الصفرية التي عُقدت في أثينا في 10 أبريل. جذبت هذه الفعالية حوالي 500 مشارك، حيث تم عقد أربع محاضرات في نفس اليوم. فيما يلي ملخص تقرير بونيو، الذي يغطي أحدث التطورات في الأجهزة المعتمدة على المعرفة الصفرية، وأداء SNARK، وتصميم شبكات الإثبات.
الأجهزة ZK
كان دعم الأجهزة لتوليد الشهادات هدفًا طويل الأمد للمجتمع. استعرضت الكلمتان الرئيسيتان في المسرح أحدث التطورات في هذا المجال.
قدّم أحد الباحثين نظرة شاملة على الأجهزة الخاصة بـ ZK، بما في ذلك تصنيف الشركات في هذا المجال. ذكر الشركات التي تستخدم الأجهزة العامة، والشركات التي تصنع الأجهزة المخصصة، والشركات التي تدير شبكات إثبات لامركزية. وتوقع أن أنظمة التحقق من SNARK المحسّنة للأجهزة وغيرها من التحسينات القادمة، بالإضافة إلى الأجهزة المخصصة، قد تحقق زيادة في كفاءة الحساب تصل إلى 1000 مرة، مما قد يؤثر على النسخة النهائية من إيثيريوم. كما أشار إلى أنه سيتم الإعلان عن مسابقة لإجراء تحقق رسمي للمثبتين والمدققين، مع جوائز تصل إلى 20 مليون دولار.
ناقش المؤسسون المشاركون لشركة معينة مفهوم تصميم نظام إثبات والأجهزة في نفس الوقت. يستخدم نظامهم حقول البرج الثنائية وبروتوكول Sumcheck. أظهرت الاختبارات المبكرة أن أداء دالة التجزئة Groestl يتفوق بشكل ملحوظ على Keccak في بعض التطبيقات.
شبكة إثبات اللامركزية
يتصور العديد من المهنيين في الصناعة أن إنتاج إثباتات العروض الكبيرة في المستقبل (مثل صحة مجموعة من المعاملات في Rollup) سيتم من قبل سوق إثباتات متخصصة تنافسية ومركزية.
قدمت الشريكة المؤسسة في إحدى الشركات شبكة إثبات جديدة سيتم إطلاقها قريباً. وتحدثت عن مختلف تصميمات الآليات المحتملة، واعتبرت أن التصميم القائم على المنافسة أو التعدين قد لا يكون فعالاً. واقترحت أن تكون أهداف التصميم هي: الحد الأدنى من التكلفة، والحد الأقصى من التأخير، ومقاومة الرقابة. وتنبأت بأن نموذج الإصدار/التخزين قد يكون فعالاً، ولكن نموذج المزاد هو الأكثر احتمالاً للنجاح، وقد يكون في النهاية مشابهًا لبناء الكتل في الوقت الحاضر.
قدّم طلاب الدكتوراه في جامعة ييل ورقة جديدة حول اقتصاديات شبكات المُثبِت. وأشاروا إلى أن المزادات الثنائية سهلة التأثر بالتواطؤ بين المُثبِت والمزايدين، واقترحوا آلية بديلة تُسمى Proo-phi، التي تُدخل آليات جديدة للمطابقة والتداول وإثبات المعاملات.
ناقش كبير موظفي التكنولوجيا في إحدى الشركات سوق الإثباتات المدعومة بالحسابات متعددة الأطراف (MPC)، وخاصةً استخدام MPC للحفاظ على خصوصية العملاء الصغار والمثبتين الكبار. استكشف كيفية اختيار مجموعة أنظمة الإثبات لإجراء العمليات الخطية من أجل تقليل التكاليف.
شهادات ZK
تناقشت ثلاث محاضرات مختلفة حول جهود بناء إثباتات المعرفة الصفرية من أنظمة الهوية الحالية.
قدم أحد مؤسسي شركة معينة إثبات ملكية عنوان البريد الإلكتروني ZK. تعتمد هذه على معرفة توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين. يمكن للعديد من التطبيقات من خلال إثبات ZK معرفة ما إذا كان المستخدم يتحكم في عنوان البريد الإلكتروني، بما في ذلك تحويل الأموال إلى عنوان البريد الإلكتروني والإبلاغ بشكل مجهول.
ناقش العلماء الباحثون في مختبر معين تقنية استخدام OpenID Connect للتفاعل مع الهويات التقليدية في الويب 2. تتفاعل هذه التقنية مع مقدمي OpenID الحاليين، مما يثبت أن المستخدم يتحكم في عنوان معين، مما يجعل التطبيقات مثل تحويل الأموال إلى حسابات Google أو Facebook ممكنة.
ناقش ممثل شركة كيفية بناء شهادات مجهولة الهوية من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدمين إثبات أنهم يحملون جواز سفر لدولة معينة وقد بلغوا سنًا معينًا دون الحاجة إلى الكشف عن رقم الجواز أو العمر الدقيق.
هل أصبح لهذا zk أسلوب استخدام بالأجهزة؟ الأمور تسير بشكل متصاعد