jakiro
المؤلف: الأميال المصدر: X ،mileS082510
بالأمس ، ناقشت مشكلة تسارع ZK مع مصنعي رقائق ZK في الصين.في الوقت الحالي ، يحتاج L2 الذي يعتمد على ZK إلى مئات آلات GPU للحفاظ على الأعمال اليومية.إذن ، أين الحاجة إلى التسارع الآن؟ما هي الأجزاء التي تستحق التسارع؟هل تم إثبات عنق الزجاجة لمسار ZK أو التحقق منه؟ما تأثير هذه المشاكل على البيئة؟
بناءً على هذه التغريدة ، أريد أن أشارك بعض فهمي الخاص ، مرحبًا بك في التصحيح والمناقشة!
تقنية ZK الماضية
كانت حلول ZK المبكرة تعتمد بشكل رئيسي على تطوير الدائرة.يجب على المطورين استخدام لغات محددة لبناء دوائر ، والتي هي معقدة ومكلفة.starkwarntd في وضع رائد في هذا المجال.ومع ذلك ، فإن القيود المفروضة على هذه الطريقة هي أنه يمكنه فقط تلخيص الإثبات الصارخ لنظام أو آلة شهادة واحدة.
تقنية ZK الحالية
الآن ، مع ظهور الجنرال ZKVM ، لا يحتاج المبرمجون إلى تعلم لغة دائرة جديدة ، ويحتاجون فقط إلى كتابة رمز الصدأ لتطويره والتطبيق.يشمل الممثلون في هذا المجال Risczero و @MevinctLabs’s SP1 و NexusLabshQ و Lita_xyz و Jolt من @A16Zcrypto.
على الرغم من وجود العديد من مشاريع ZKVM ، أعتقد أن جميع أنظمة تجميع الإثبات في المستقبل ستعتمد على ZKVMs RISC-V أو ZKVMs القائمة على الصدأ.باستخدام RISC-V لإثبات أنه يمكننا بسهولة دمج أنظمة التصديق المختلفة لتبسيط عملية التحقق المعقدة.
الأسئلة والتحديات
تكلفة التحقق من Ethereum مرتفعة للغاية ولا تدعم السعة الكبيرة.على سبيل المثال ، شهادة 1GB غير واقعية للتحقق مباشرة من Ethereum.إذا قمت بتشغيل ZK Rollup ، فقد تكون التكلفة السنوية مرتفعة إلى ملايين الدولارات.
بالإضافة إلى ذلك ، على الرغم من أن alignedLayer يمكنه التحقق من 2500 علامة تجزئة في الثانية ، لا يمكن لـ Ethereum التعامل مع هذه السعة الكبيرة.
حل
هناك طريقتان على Ethereum لتحقيق التحقق السريع والمنخفض من التكلفة:
-
دليل: طريقة لتحسين كفاءة التحقق.
-
طبقة التحقق ZK: أدرك طبقات التحقق من ZK قابلة للتطوير على eigenlayer ، وهو النهج الحالي لـ alignedLayer.
المناقشة والمنظور
فيما يتعلق بزوج الزجاجة لمسار ZK ، يعتقد Ozhar (من ZKSYNC) أن 5 ٪ فقط من التكلفة مرتبطة بالتحقق ، و 95 ٪ يرتبط بتكلفة الأجهزة لتوليد دليل.يحمل athlinkim وجهات نظر مختلفة من Gevulot_Network).
في الواقع ، يتم تطوير أجهزة ZK وإثبات المناطق التي يتم توليدها بسرعة ، مثل @cysic_xyz و ingo_zk و @lagrangedev وأطراف المشروع الأخرى تعزز التقنيات ذات الصلة بنشاط.
