عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا في 10 أبريل 2024. نظمت هذه القمة من قبل بودكاست المعرفة الصفرية، وجذبت حوالي 500 مشارك، حيث تم إجراء أربع محاضرات في يوم واحد. فيما يلي ملخص لأهم محتويات القمة، والتي تغطي أحدث التطورات في الأجهزة المعتمدة على المعرفة الصفرية، وأداء SNARK، وتصميم شبكات الإثبات اللامركزية.
تطوير الأجهزة ذات المعرفة الصفرية
لقد كانت دعم الأجهزة لتوليد الإثباتات محور اهتمام الصناعة. تلخص التقريران على المسرح الرئيسي أحدث التطورات في هذا المجال:
قدّم أحد الباحثين نظرة شاملة على الأجهزة ذات المعرفة الصفرية، بما في ذلك الشركات التي تستخدم الأجهزة العامة وتصنع الأجهزة المخصصة، بالإضافة إلى المشاريع التي تدير شبكات إثبات موزعة. وتوقع أنه من خلال تقنيات مثل أنظمة التحقق من SNARK المحسنة بالأجهزة، بالاشتراك مع الأجهزة المتخصصة، قد يتم تحقيق تحسين في كفاءة الحساب يصل إلى 1000 مرة، مما سيكون له تأثير كبير على التطور المستقبلي لإيثيريوم. كما أشار إلى أنه سيتم الإعلان عن مسابقة للتحقق الرسمي من المبرهنين والمتحققين، مع جائزة تصل إلى 20 مليون دولار.
قدم أحد المؤسسين المشاركين في شركة ما فكرة تصميم نظام إثبات مع الأجهزة في نفس الوقت. يستخدم نظامهم برج ثنائي وم协议 sumcheck. أظهرت الاختبارات الأولية أن أداء دالة تجزئة Groestl يتفوق بشكل ملحوظ على Keccak في بعض التطبيقات، مما يوفر أفكارًا جديدة لتصميم الأنظمة المستقبلية.
شبكة المدققين اللامركزية
يعتقد معظم المتخصصين في الصناعة أن التحقق من صحة مجموعة من المعاملات في المستقبل، مثل إثباتات الإنتاج الضخم، سيتم بواسطة سوق متخصص من المدققين يتسم بالتنافسية واللامركزية.
ناقشت المؤسِّسة المشاركة لشركة معينة تصميم آليات محتملة مختلفة لشبكة المدققين اللامركزية. واعتبرت أن الأهداف التصميمية يجب أن تكون على التوالي: تقليل التكاليف، وزيادة التأخير، وضمان مقاومة الرقابة. وتنبأت أن نمط المزاد هو الأكثر احتمالاً أن يصبح شائعًا، وقد يشبه في النهاية عملية بناء الكتل اليوم.
قدم طلاب الدكتوراه في جامعة معينة ورقة جديدة حول اقتصاد الشبكات المصدقة. اقترحوا آلية جديدة تُدعى Proo-phi، والتي تقدم آليات مبتكرة للتداول والتصديق للتعامل مع مشكلات التواطؤ التي قد تظهر في المزادات الثنائية.
ناقش المدير الفني لشركة ما سوق الإثباتات المدعومة بالحسابات متعددة الأطراف (MPC)، وخاصة كيفية استخدام MPC للحفاظ على الخصوصية بين العملاء الصغار والمثبتين الكبار. وأكد على أنه يجب أن يؤخذ في الاعتبار العمليات الخطية الرخيصة نسبيًا في MPC عند اختيار مجموعة من أنظمة الإثبات، لتقليل التكاليف.
إثبات المعرفة الصفرية
تمت مناقشة العديد من الحلول لبناء شهادات عدم المعرفة من أنظمة الهوية الحالية في القمة:
إثبات المعرفة الصفرية المستند إلى البريد الإلكتروني: من خلال إثبات المعرفة بتوقيع DKIM للبريد الإلكتروني لعنوان معين، يتم تحقيق إثبات ملكية عنوان البريد الإلكتروني. يمكن تطبيق هذه الطريقة في سيناريوهات مثل التحويلات المالية بالبريد الإلكتروني المجهول والإبلاغ.
استخدام OpenID connect للتفاعل مع هويات الويب 2 التقليدية: من خلال التفاعل مع مزودي OpenID الحاليين، يمكن إثبات أن المستخدم يتحكم في عنوان معين، مما يجعل من الممكن تطبيقات مثل تحويل الأموال إلى حسابات وسائل التواصل الاجتماعي.
شهادات مجهولة الهوية المستندة إلى جوازات السفر الإلكترونية: يمكن للمستخدمين إثبات أنهم يحملون جواز سفر من دولة معينة ويستوفون متطلبات العمر، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
تظهر هذه الحلول المبتكرة آفاق تطبيق واسعة لتقنية المعرفة الصفرية في التحقق من الهوية وحماية الخصوصية.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 20
أعجبني
20
8
إعادة النشر
مشاركة
تعليق
0/400
TopBuyerBottomSeller
· 07-31 20:02
أثينا ذهبت في العمل الشاق
شاهد النسخة الأصليةرد0
DaoResearcher
· 07-31 16:38
من الصعب أيضًا تلبية شروط معادلة ZK بزيادة قدرها 1000 مرة، ومن البيانات يتضح أن هذا هو فخ آخر في مجال VC.
شاهد النسخة الأصليةرد0
AirdropChaser
· 07-31 09:22
الأجهزة ستشهد big pump، خزّنها
شاهد النسخة الأصليةرد0
ZkProofPudding
· 07-30 20:44
لقد قضيت سنة في استخدام جهاز التعدين، يجب أن نبدأ الآن.
شاهد النسخة الأصليةرد0
AirdropHarvester
· 07-30 20:43
فارغ
شاهد النسخة الأصليةرد0
SchroedingerGas
· 07-30 20:42
من قال إن zk يجب أن يكون غاليًا؟ تقدم سريعًا إلى زيادة بمقدار 1000 مرة.
قمة المعرفة الصفرية 2024: ابتكارات الأجهزة وشبكات الإثبات اللامركزية تقود الاتجاهات الجديدة في الصناعة
قمة المعرفة الصفرية 2024: تغطية حية
عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا في 10 أبريل 2024. نظمت هذه القمة من قبل بودكاست المعرفة الصفرية، وجذبت حوالي 500 مشارك، حيث تم إجراء أربع محاضرات في يوم واحد. فيما يلي ملخص لأهم محتويات القمة، والتي تغطي أحدث التطورات في الأجهزة المعتمدة على المعرفة الصفرية، وأداء SNARK، وتصميم شبكات الإثبات اللامركزية.
تطوير الأجهزة ذات المعرفة الصفرية
لقد كانت دعم الأجهزة لتوليد الإثباتات محور اهتمام الصناعة. تلخص التقريران على المسرح الرئيسي أحدث التطورات في هذا المجال:
قدّم أحد الباحثين نظرة شاملة على الأجهزة ذات المعرفة الصفرية، بما في ذلك الشركات التي تستخدم الأجهزة العامة وتصنع الأجهزة المخصصة، بالإضافة إلى المشاريع التي تدير شبكات إثبات موزعة. وتوقع أنه من خلال تقنيات مثل أنظمة التحقق من SNARK المحسنة بالأجهزة، بالاشتراك مع الأجهزة المتخصصة، قد يتم تحقيق تحسين في كفاءة الحساب يصل إلى 1000 مرة، مما سيكون له تأثير كبير على التطور المستقبلي لإيثيريوم. كما أشار إلى أنه سيتم الإعلان عن مسابقة للتحقق الرسمي من المبرهنين والمتحققين، مع جائزة تصل إلى 20 مليون دولار.
قدم أحد المؤسسين المشاركين في شركة ما فكرة تصميم نظام إثبات مع الأجهزة في نفس الوقت. يستخدم نظامهم برج ثنائي وم协议 sumcheck. أظهرت الاختبارات الأولية أن أداء دالة تجزئة Groestl يتفوق بشكل ملحوظ على Keccak في بعض التطبيقات، مما يوفر أفكارًا جديدة لتصميم الأنظمة المستقبلية.
شبكة المدققين اللامركزية
يعتقد معظم المتخصصين في الصناعة أن التحقق من صحة مجموعة من المعاملات في المستقبل، مثل إثباتات الإنتاج الضخم، سيتم بواسطة سوق متخصص من المدققين يتسم بالتنافسية واللامركزية.
ناقشت المؤسِّسة المشاركة لشركة معينة تصميم آليات محتملة مختلفة لشبكة المدققين اللامركزية. واعتبرت أن الأهداف التصميمية يجب أن تكون على التوالي: تقليل التكاليف، وزيادة التأخير، وضمان مقاومة الرقابة. وتنبأت أن نمط المزاد هو الأكثر احتمالاً أن يصبح شائعًا، وقد يشبه في النهاية عملية بناء الكتل اليوم.
قدم طلاب الدكتوراه في جامعة معينة ورقة جديدة حول اقتصاد الشبكات المصدقة. اقترحوا آلية جديدة تُدعى Proo-phi، والتي تقدم آليات مبتكرة للتداول والتصديق للتعامل مع مشكلات التواطؤ التي قد تظهر في المزادات الثنائية.
ناقش المدير الفني لشركة ما سوق الإثباتات المدعومة بالحسابات متعددة الأطراف (MPC)، وخاصة كيفية استخدام MPC للحفاظ على الخصوصية بين العملاء الصغار والمثبتين الكبار. وأكد على أنه يجب أن يؤخذ في الاعتبار العمليات الخطية الرخيصة نسبيًا في MPC عند اختيار مجموعة من أنظمة الإثبات، لتقليل التكاليف.
إثبات المعرفة الصفرية
تمت مناقشة العديد من الحلول لبناء شهادات عدم المعرفة من أنظمة الهوية الحالية في القمة:
إثبات المعرفة الصفرية المستند إلى البريد الإلكتروني: من خلال إثبات المعرفة بتوقيع DKIM للبريد الإلكتروني لعنوان معين، يتم تحقيق إثبات ملكية عنوان البريد الإلكتروني. يمكن تطبيق هذه الطريقة في سيناريوهات مثل التحويلات المالية بالبريد الإلكتروني المجهول والإبلاغ.
استخدام OpenID connect للتفاعل مع هويات الويب 2 التقليدية: من خلال التفاعل مع مزودي OpenID الحاليين، يمكن إثبات أن المستخدم يتحكم في عنوان معين، مما يجعل من الممكن تطبيقات مثل تحويل الأموال إلى حسابات وسائل التواصل الاجتماعي.
شهادات مجهولة الهوية المستندة إلى جوازات السفر الإلكترونية: يمكن للمستخدمين إثبات أنهم يحملون جواز سفر من دولة معينة ويستوفون متطلبات العمر، دون الحاجة إلى الكشف عن رقم جواز السفر المحدد أو العمر الدقيق.
تظهر هذه الحلول المبتكرة آفاق تطبيق واسعة لتقنية المعرفة الصفرية في التحقق من الهوية وحماية الخصوصية.