في 10 أبريل 2024، عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا. نظمت هذه القمة من قبل بودكاست Zero Knowledge، وشارك فيها حوالي 500 مشارك، حيث تم إجراء أربع محاضرات في يوم واحد. وفيما يلي ملخص للمواضيع الهامة التي تم تناولها في القمة، تغطي أحدث التقدمات في الأجهزة المعرفية الصفرية، أداء SNARK وتصميم شبكات الإثبات.
تطوير الأجهزة ZK
لطالما كانت دعم الأجهزة لتوليد الإثبات محور اهتمام الصناعة. خلال القمة، تم تلخيص أحدث التطورات في هذا المجال من خلال عرضين رئيسيين.
قدم باحث في مؤسسة معينة نظرة شاملة على أجهزة ZK، بما في ذلك تصنيف الشركات في هذا المجال. تشمل هذه الشركات الشركات التي تستخدم أجهزة عامة، والشركات التي تصنع أجهزة مخصصة، والشركات التي تشغل شبكات إثبات لامركزية. وتوقع أن "نهاية" zkVM قد تحقق زيادة في كفاءة الحساب تصل إلى 1000 ضعف، مما سيكون له تأثير عميق على تقنية blockchain في المستقبل. كما أشار إلى أن المؤسسة معينة ستعلن عن مسابقة للتحقق الرسمي من الموثقين والمحققين، مع جائزة تصل إلى 20 مليون دولار.
تحدث المؤسسون المشاركون لشركة معينة عن مفهوم تصميم نظام إثبات والأجهزة في الوقت نفسه. يستخدم نظامهم حقل برج ثنائي وبروتوكول sumcheck. واحدة من الاستنتاجات المثيرة للاهتمام التي تم التوصل إليها من الاختبارات المبكرة هي أن أداء دالة التجزئة Groestl يتفوق بشكل ملحوظ على Keccak، مما يعني أن استخدام Groestl قد يكون له ميزة في بعض التطبيقات.
شبكة إثبات اللامركزية
تخيل العديد من الأشخاص في الصناعة مشهداً مستقبلياً: سيتم توليد إثباتات كبيرة من البيانات (مثل صحة دفعة من المعاملات في Rollup) من قبل سوق متخصصة تنافسية ومركزية.
قدمت المؤسس المشارك لشركة ما عرضًا عن شبكة الموثقين التي ستطلقها قريبًا. ناقشت تصميمات الآليات المحتملة المختلفة لشبكة الموثقين اللامركزية، وتنبأت بأن التصميمات القائمة على المنافسة أو التعدين قد لا تؤدي إلى النتائج المثلى. واعتبرت أن أهداف التصميم يجب أن تكون، بالتتابع: تقليل التكلفة، وزيادة التأخير ومقاومة الرقابة. وتنبأت بأن نماذج الإصدار/التخزين قد تكون فعالة، ولكن نماذج المزاد هي الأكثر احتمالاً لتحقيق النجاح، وقد تشبه في النهاية نمط بناء الكتل الحالي.
قدم طالب دكتوراه من جامعة معينة ورقة جديدة حول اقتصاديات الشبكة الخاصة بالمدققين. أشار إلى أن المزادات الثنائية قد تتأثر بسهولة بالتواطؤ بين المدققين والمزايدين، وقد اقترحوا آلية بديلة تسمى Proo-phi، والتي أدخلت آلية جديدة للتداول المطابق والدليل.
ناقش المدير التقني لشركة معينة سوق الإثبات الداعم للحساب المتعدد الأطراف (MPC)، خاصة كيف يمكن استخدام MPC لحماية خصوصية العملاء الصغار والمثبتين الكبار. استعرض كيفية اختيار مجموعة من أنظمة الإثبات لإجراء العمليات الخطية، لتحقيق الحد الأدنى من التكاليف في MPC.
شهادات ZK
عُقدت في القمة ثلاث جلسات مناقشة حول بناء الشهادات ذات المعرفة الصفري من أنظمة الهوية الحالية، كل واحدة تعتمد على نظام هوية مختلف.
ناقش أحد المؤسسين المشاركين لمشروع ما إثبات ملكية عنوان البريد الإلكتروني ZK. تعتمد هذه الإثباتات على التحقق من توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين، حيث تم نشر DKIM على نطاق واسع من قبل مزودي خدمات البريد الإلكتروني الرئيسيين. يمكن تطبيق هذه التقنية في مجموعة متنوعة من السيناريوهات، مثل تحويل الأموال بشكل مجهول إلى عنوان البريد الإلكتروني أو الإبلاغ بشكل مجهول.
قدم علماء الأبحاث في مختبر معين مشروعًا يستخدم OpenID connect للتفاعل مع الهوية التقليدية web2. يستطيع هذا المشروع التفاعل مع مقدمي OpenID الحاليين وإثبات تحكم المستخدم في عنوان معين، مما يمكّن من تطبيقات مشابهة للتحويلات إلى حسابات وسائل التواصل الاجتماعي.
ناقش أعضاء فريق مشروع معين كيفية بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدمين إثبات أنهم يحملون جواز سفر من دولة معينة وأنهم بلغوا سنًا محددًا، دون الحاجة إلى الكشف عن رقم الجواز المحدد أو العمر الدقيق.
تظهر هذه المناقشات آفاق التطبيق الواسعة لتقنية إثبات المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية، مما يوفر إمكانيات جديدة لإدارة الهوية الرقمية في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
5
إعادة النشر
مشاركة
تعليق
0/400
WalletDoomsDay
· منذ 9 س
مؤتمر zk رائع، لقد حصلت على الميكروفون في الصف الأمامي.
شاهد النسخة الأصليةرد0
TokenDustCollector
· منذ 9 س
الجميع يحاول استغلال حركة مرور الويب 3
شاهد النسخة الأصليةرد0
ZKProofster
· منذ 10 س
بصراحة 1000x يبدو متفائلاً بشكل مفرط... يظهر لي الرياضيات أولاً
شاهد النسخة الأصليةرد0
ZenMiner
· منذ 10 س
عدم الحصول على التذكرة هو نوع من القدر أيضًا.
شاهد النسخة الأصليةرد0
SignatureCollector
· منذ 10 س
إذا كان لديك المال للاستثمار في ZK، فمن الأفضل أن تطلب التوقيع على الفور.
قمة المعرفة الصفرية 2024: أحدث التطورات في الأجهزة ZK، شبكة الإثبات وشهادات التعريف بالهوية
قمة المعرفة الصفرية 2024: توثيق مباشر
في 10 أبريل 2024، عُقدت القمة الحادية عشرة للمعرفة الصفرية في أثينا. نظمت هذه القمة من قبل بودكاست Zero Knowledge، وشارك فيها حوالي 500 مشارك، حيث تم إجراء أربع محاضرات في يوم واحد. وفيما يلي ملخص للمواضيع الهامة التي تم تناولها في القمة، تغطي أحدث التقدمات في الأجهزة المعرفية الصفرية، أداء SNARK وتصميم شبكات الإثبات.
تطوير الأجهزة ZK
لطالما كانت دعم الأجهزة لتوليد الإثبات محور اهتمام الصناعة. خلال القمة، تم تلخيص أحدث التطورات في هذا المجال من خلال عرضين رئيسيين.
قدم باحث في مؤسسة معينة نظرة شاملة على أجهزة ZK، بما في ذلك تصنيف الشركات في هذا المجال. تشمل هذه الشركات الشركات التي تستخدم أجهزة عامة، والشركات التي تصنع أجهزة مخصصة، والشركات التي تشغل شبكات إثبات لامركزية. وتوقع أن "نهاية" zkVM قد تحقق زيادة في كفاءة الحساب تصل إلى 1000 ضعف، مما سيكون له تأثير عميق على تقنية blockchain في المستقبل. كما أشار إلى أن المؤسسة معينة ستعلن عن مسابقة للتحقق الرسمي من الموثقين والمحققين، مع جائزة تصل إلى 20 مليون دولار.
تحدث المؤسسون المشاركون لشركة معينة عن مفهوم تصميم نظام إثبات والأجهزة في الوقت نفسه. يستخدم نظامهم حقل برج ثنائي وبروتوكول sumcheck. واحدة من الاستنتاجات المثيرة للاهتمام التي تم التوصل إليها من الاختبارات المبكرة هي أن أداء دالة التجزئة Groestl يتفوق بشكل ملحوظ على Keccak، مما يعني أن استخدام Groestl قد يكون له ميزة في بعض التطبيقات.
شبكة إثبات اللامركزية
تخيل العديد من الأشخاص في الصناعة مشهداً مستقبلياً: سيتم توليد إثباتات كبيرة من البيانات (مثل صحة دفعة من المعاملات في Rollup) من قبل سوق متخصصة تنافسية ومركزية.
قدمت المؤسس المشارك لشركة ما عرضًا عن شبكة الموثقين التي ستطلقها قريبًا. ناقشت تصميمات الآليات المحتملة المختلفة لشبكة الموثقين اللامركزية، وتنبأت بأن التصميمات القائمة على المنافسة أو التعدين قد لا تؤدي إلى النتائج المثلى. واعتبرت أن أهداف التصميم يجب أن تكون، بالتتابع: تقليل التكلفة، وزيادة التأخير ومقاومة الرقابة. وتنبأت بأن نماذج الإصدار/التخزين قد تكون فعالة، ولكن نماذج المزاد هي الأكثر احتمالاً لتحقيق النجاح، وقد تشبه في النهاية نمط بناء الكتل الحالي.
قدم طالب دكتوراه من جامعة معينة ورقة جديدة حول اقتصاديات الشبكة الخاصة بالمدققين. أشار إلى أن المزادات الثنائية قد تتأثر بسهولة بالتواطؤ بين المدققين والمزايدين، وقد اقترحوا آلية بديلة تسمى Proo-phi، والتي أدخلت آلية جديدة للتداول المطابق والدليل.
ناقش المدير التقني لشركة معينة سوق الإثبات الداعم للحساب المتعدد الأطراف (MPC)، خاصة كيف يمكن استخدام MPC لحماية خصوصية العملاء الصغار والمثبتين الكبار. استعرض كيفية اختيار مجموعة من أنظمة الإثبات لإجراء العمليات الخطية، لتحقيق الحد الأدنى من التكاليف في MPC.
شهادات ZK
عُقدت في القمة ثلاث جلسات مناقشة حول بناء الشهادات ذات المعرفة الصفري من أنظمة الهوية الحالية، كل واحدة تعتمد على نظام هوية مختلف.
ناقش أحد المؤسسين المشاركين لمشروع ما إثبات ملكية عنوان البريد الإلكتروني ZK. تعتمد هذه الإثباتات على التحقق من توقيع DKIM للبريد الإلكتروني المرسل إلى عنوان معين، حيث تم نشر DKIM على نطاق واسع من قبل مزودي خدمات البريد الإلكتروني الرئيسيين. يمكن تطبيق هذه التقنية في مجموعة متنوعة من السيناريوهات، مثل تحويل الأموال بشكل مجهول إلى عنوان البريد الإلكتروني أو الإبلاغ بشكل مجهول.
قدم علماء الأبحاث في مختبر معين مشروعًا يستخدم OpenID connect للتفاعل مع الهوية التقليدية web2. يستطيع هذا المشروع التفاعل مع مقدمي OpenID الحاليين وإثبات تحكم المستخدم في عنوان معين، مما يمكّن من تطبيقات مشابهة للتحويلات إلى حسابات وسائل التواصل الاجتماعي.
ناقش أعضاء فريق مشروع معين كيفية بناء شهادات مجهولة من جوازات السفر الإلكترونية الحالية. على سبيل المثال، يمكن للمستخدمين إثبات أنهم يحملون جواز سفر من دولة معينة وأنهم بلغوا سنًا محددًا، دون الحاجة إلى الكشف عن رقم الجواز المحدد أو العمر الدقيق.
تظهر هذه المناقشات آفاق التطبيق الواسعة لتقنية إثبات المعرفة الصفرية في مجالات التحقق من الهوية وحماية الخصوصية، مما يوفر إمكانيات جديدة لإدارة الهوية الرقمية في المستقبل.