أفكار حول التحقق من ZKVM وZK

المؤلف: مايلز المصدر: X، @Miles082510

مع الشركات المصنعة لرقائق ZK المحلية أمس تمت مناقشة مسألة تسريع ZK. حاليًا، لا يتطلب L2 المستند إلى ZK سوى بضع مئات من أجهزة GPU للحفاظ على الأعمال اليومية، وسيكون التطوير المستقبلي لـ Asic أكثر إثارة. إذن، أين الحاجة إلى التسريع الآن؟ ما هي الأجزاء التي تستحق التسريع؟ هل عنق الزجاجة في مسار ZK هو توليد الإثبات أو التحقق؟ ما هو تأثير هذه المشاكل على البيئة؟

بناءً على هذه التغريدة، أود مشاركة بعض ما أفهمه، ونرحب بالتصحيحات والمناقشات.

تقنية ZK في الماضي

كانت حلول ZK المبكرة تعتمد بشكل أساسي على تطوير الدوائر. يجب على المطورين بناء دوائر باستخدام لغة معينة، وهي لغة معقدة ومكلفة. @StarkWareLtd تقود الطريق في هذا المجال من خلال بناء دوائر في القاهرة عبر STARKs، مع الاستفادة من البراهين العودية لـ STARKs. ومع ذلك، فإن أحد قيود هذا النهج هو أنه لا يمكنه تجميع أدلة STARK إلا من نظام أو جهاز إثبات واحد.

تقنية ZK الحالية

الآن، مع ظهور ZKVM العالمي، لا يحتاج المبرمجون إلى لتعلم لغة دائرة جديدة وتطوير التطبيقات ببساطة عن طريق كتابة كود Rust. يشمل الممثلون @RiscZero وSP1 من @SuccinctLabs و@NexusLabsHQ بالإضافة إلى @lita_xyz وjolt من @a16zcrypto.

على الرغم من وجود العديد من مشاريع ZKVM، أعتقد أن جميع أنظمة تجميع الأدلة المستقبلية ستعتمد على RISC-V ZKVMs أو ZKVMs القائمة على الصدأ. باستخدام بروفات RISC-V، يمكننا بسهولة دمج أنظمة إثبات مختلفة وتبسيط عملية التحقق المعقدة.

المشاكل والتحديات

تكلفة التحقق من البراهين على Ethereum مرتفعة جدًا، وهي ليس من السهل دعم السعة الكبيرة. على سبيل المثال، من غير العملي التحقق من إثبات سعة 1 غيغابايت مباشرة على إيثريوم، وعلى الرغم من أنه يمكن ضغطه من خلال البراهين العودية، إلا أن هذا أيضًا مكلف ويستغرق وقتًا طويلاً. إذا قمت بتشغيل مجموعة ZK، يمكن أن تصل التكلفة إلى ملايين الدولارات سنويًا.

أيضًا، بينما يمكن لـalignedlayer التحقق من 2500 تجزئة في الثانية، لا يستطيع Ethereum التعامل مع مثل هذه السعة الكبيرة.

الحل

هناك طريقتان لتحقيق تكلفة سريعة ومنخفضة للتحقق من Ethereum: < /p>

• تجميع الأدلة: طريقة لتحسين كفاءة التحقق.

• طبقة التحقق ZK: تنفيذ طبقة تحقق ZK منخفضة التكلفة وقابلة للتطوير على @eigenlayer، هذا هو النهج الحالي لـAlignedlayer.

مناقشة وآراء

حول مسار ZK عنق الزجاجة، @Ozhar (من @zkSync) يعتقد أن 5% فقط من التكلفة مرتبطة بالتحقق و95% مرتبطة بتكلفة الأجهزة لإنشاء الدليل. يأخذ @heslinkim (من @gevulot_network) وجهة نظر مختلفة، بحجة أن عنق الزجاجة الحقيقي يكمن في إنشاء الأدلة والأجهزة.

في الواقع، يتطور مجال أجهزة ZK وتوليد الأدلة بسرعة أيضًا، وتعمل أطراف المشروع مثل @cysic_xyz وIngo_zk وlagrangedev بنشاط على الترويج لموضوعات ذات صلة التقنيات.