ملاحظات قمة التشفير a16z: التوجيه الفني لـ ZK والمخزون المحتمل للمشروع

بقلم جوزيف بونو، DAOSquare

ملاحظة المحرر: الملاحظات الميدانية عبارة عن سلسلة نقدم فيها تقارير ميدانية عن الصناعة والأبحاث والأحداث الأخرى المهمة. في هذا العدد، حضر شريك أبحاث العملات المشفرة a16z والأستاذ المساعد بجامعة نيويورك جوزيف بونو، وقام بتدوين ملاحظات من قمة المعرفة الصفرية الحادية عشرة (zkSummit) في أثينا يوم الأربعاء، 10 أبريل. حضر هذا الحدث، الذي استضافه بودكاست Zero Knowledge، ما يقرب من 500 مشارك وتضمن أربعة عروض تقديمية متزامنة على مدار اليوم. فيما يلي ملخص لتقرير Bonneau، الذي يغطي أحدث أجهزة المعرفة الصفرية وأداء SNARK وتصميم شبكة المزادات، بما في ذلك بعض الإشارات إلى Jolt، وهو النهج الجديد لفريق أبحاث وهندسة العملات المشفرة a16z لتصميم SNARK والذي يعد بالفعل أكثر تقدمًا من الوضع الحالي للتكنولوجيا أسرع مرتين، وهناك المزيد من التحسينات القادمة.

ZK Hardware

لطالما كان دعم الأجهزة لإنشاء الأدلة هدفًا للمجتمع. وقد حددت المحادثتان الأوليتان، اللتان عقدتا على المسرح الرئيسي، التطورات الحالية في هذا المجال.

• يقدم جاستن دريك، الباحث في مؤسسة Ethereum، نظرة عامة على أجهزة ZK، بما في ذلك تصنيف الشركات في هذا المجال. تتضمن القائمة الشركات التي تستخدم أجهزة ذات أغراض عامة (مثل Ulvetanna)، والشركات التي تصنع أجهزة مخصصة (بما في ذلك Accseal، وCysic، وFabric)، والشركات التي تدير شبكات إثبات لامركزية (مثل Aleo). ويتوقع أن "اللعبة النهائية" لـ zkVM، مثل Jolt المعزز بواسطة Binius (نظام التحقق SNARK المحسن للأجهزة)، وغيرها من التحسينات القادمة والأجهزة المتخصصة، يمكن أن تحقق 1000 مرة من الحمل الحسابي وقد تؤثر على إصدار Ethereum النهائي والشامل. اختبارها في الممارسة العملية. ويتوقع أيضًا أن تركز الأجهزة في الغالب على البراهين الموجزة غير ZK، حيث ستستخدم معظم البراهين أغلفة Groth16 على الوجه. وذكر أيضًا أن مؤسسة إيثريوم ستعلن عن مسابقة للتحقق الرسمي من المُثبتين والمُصدقين بجائزة قدرها 20 مليون دولار.

• يتحدث جيم بوسن، المؤسس المشارك لشركة Ulvetanna، عن Binius والمفهوم العام لتصميم أنظمة الإثبات والأجهزة في وقت واحد. يستخدم Binius حقول البرج الثنائي وبروتوكول sumcheck، الذي يعتمد عليه Jolt أيضًا. الاستنتاج المثير للاهتمام من الاختبار المبكر مع Binius هو أن وظيفة التجزئة Groestl (الوصيف SHA-3) تعمل بشكل أفضل بكثير من Keccak (المعيار الرسمي SHA-3)، لذا فإن استخدام Groestl في بعض التطبيقات قد يكون أكثر فائدة.

شبكة البراهين اللامركزية

يتصور العديد من الأشخاص في هذا المجال مستقبلًا يتم فيه إنشاء البراهين على البيانات الكبيرة (على سبيل المثال، يتم تنفيذ صحة مجموعة من المعاملات في مجموعة Rollup) من خلال سوق تنافسي لا مركزي للمثبتين المحترفين.

• تتحدث أوما روي، المؤسس المشارك لشركة Succinct، عن شبكة Prover القادمة لشركة Succinct. قدمت العديد من تصميمات الآليات المحتملة لشبكات الإثبات اللامركزية وتوقعت أن التصميمات القائمة على المنافسة (أولاً لإثبات الانتصارات) أو التعدين (أولاً لإثبات الانتصارات والعشوائية المعيارية) لن تؤدي إلى نتائج جيدة. وقالت إن أهداف التصميم يجب أن تكون بهذا الترتيب: الحد الأدنى من التكلفة والحد الأقصى لوقت الاستجابة ومقاومة الرقابة. وتوقعت أن نموذج الإصدار/الرهان قد ينجح، ولكن نموذج المزاد من المرجح أن يفوز وقد ينتهي به الأمر إلى الظهور مثل بناء الكتل اليوم. وقالت إن شركة Succinct تقوم ببناء شبكة مزادات عالمية للإثباتات التي تدعم العديد من وحدات zkVM، وليس فقط SP1 الخاصة بشركة Succint مثل Jolt/Lasso.

• تحدث وينهاو وانغ، طالب الدكتوراه في جامعة ييل، عن ورقة بحثية جديدة حول اقتصاديات شبكات الإثبات تم نشرها في صباح المحاضرة التي شارك فيها هو وبن كو -تأليف فيش (Espresso Systems) وبن ليفشيتس (Matter Labs). ذكر وينهاو أن المزادات الثنائية عرضة للتواطؤ بين مقدمي العروض ومقدمي العروض، وقد قدموا آلية بديلة تسمى Proo-phi، والتي تقدم معاملات مطابقة وآليات إثبات جديدة. يتطلب إثبات صحة البيانات تحديد معلمات السعة، والتي تبدو وكأنها مشكلة تصميم مفتوحة حرجة.

• تحدث دانييل كاليس، المؤسس المشارك والرئيس التنفيذي للتكنولوجيا في TACEO، عن سوق الإثبات الذي يدعم الحوسبة متعددة الأطراف (MPC)، وتحديدًا استخدام MPC للحفاظ على العملاء الصغار مع شهود خاصين والخصوصية بين المُثبتين غير الموثوق بهم على نطاق واسع. لقد تحدث عن كيفية اختيار مجموعات من أنظمة الإثبات للعمليات الخطية (مثل خوارزمية تحويل فورييه السريعة) والتي تكون رخيصة نسبيًا في MPC ويمكنها تقليل التكلفة.

بيانات اعتماد ZK

ناقشت ثلاثة أحداث مختلفة الجهود المبذولة لبناء بيانات اعتماد صفر المعرفة من أنظمة الهوية الحالية. يعتمد كل منها على نظام هوية موجود مختلف.

• Aayush Gupta وSora Suegami، المؤسسان المشاركان لـ ZK Email، يتحدثان عن إثبات ملكية عنوان البريد الإلكتروني ZK. تعتمد هذه على إثبات المعرفة بتوقيعات DKIM لرسائل البريد الإلكتروني المرسلة إلى عناوين محددة، ويتم نشر DKIM على نطاق واسع من قبل موفري البريد الإلكتروني الرئيسيين (وإن كان ذلك في المقام الأول كإجراء لمكافحة البريد العشوائي). يمكن للعديد من التطبيقات استخدام ZK لإثبات ما إذا كان المستخدم يتحكم في عنوان بريد إلكتروني، بما في ذلك تطبيقات مثل إرسال الأموال إلى عنوان بريد إلكتروني والإبلاغ المجهول.

• يتحدث ألين توميسكو، عالم الأبحاث في Aptos Labs، عن Aptos Keyless، الذي يستخدم اتصال OpenID للتفاعل مع هويات web2 التقليدية. OpenID Connect عبارة عن تقنية تدعم "تسجيل الدخول باستخدام Facebook، وGoogle، وما إلى ذلك". يتفاعل Aptos Keyless مع موفري OpenID الحاليين ويثبت أن المستخدم يتحكم في عنوان معين، مما يجعل التطبيقات مثل إرسال الأموال إلى حساب Google أو Facebook ممكنة.

• يناقش مايكل إليوت وديريا كارلي من ZkPassport كيفية إنشاء بيانات اعتماد مجهولة المصدر من جوازات السفر الإلكترونية الموجودة. على سبيل المثال، يمكن للمستخدمين إثبات أنهم يحملون جواز سفر أمريكي وأنهم يبلغون من العمر 25 عامًا أو أكثر دون الكشف عن رقم جواز السفر أو العمر المحدد.