jakiro
المؤلف: YBB Capital باحث AC-Core
TLDR
-
تتمثل الميزة الرئيسية لـ OP Sequinct في دمج ZKP في البنية المعيارية لـ OP Stack ، وتحويل Rollups Op Stack إلى Rollups ZK المثبتة تمامًا.
-
إذا كان حل التحجيم المستقبلي لـ Ethereum هو تحويل جميع عمليات Rollups إلى ZK Rollups ، يهدف OP Secribct إلى نشر ZKEVM من النوع 1 في مكدس OP مع الصدأ و SP1 (يعادل تمامًا Ethereum).
-
OP Proposer ينفذ توليد دليل ، وكذلك تجميع إثبات والتحقق.
-
يعتمد نظام مكدس OP الحالي على “نافذة منع الاحتيال لمدة 7 أيام” وسيؤدي إلى تأخير المعاملات في حالة حدوث النزاعات.يقلل OP Evalict مع وقت إكمال المعاملة باستخدام Proof ZK ، مما يلغي الحاجة إلى تمديد نافذة منع الاحتيال.
-
OP Evalinct يمكن أن يقلل بشكل كبير من تكاليف المعاملات.
1. المراجعة الحديثة: OP Mainnet Update والعلاقة بين OP Stack و OP Labs
مصدر الصورة: blockscout
1.1 التقدم الرئيسي في OP Mainnet
في 30 مارس 2024 ، أعلنت OP Labs عن إصدار “شهادة الخطأ” على شبكة اختبار OP Sepolia ، التي تم إطلاقها رسميًا على الشبكة الرئيسية OP في 11 يونيو 2024.يمثل هذا الخطوة الأولى في اللامركزية ، مما يسمح للمستخدمين باستخراج الرموز المميزة لـ ETH و ERC-20 من OP Mainnet دون الحاجة إلى طرف ثالث موثوق به.تمكن هذه الآلية المستخدمين من تحدي وإلغاء عمليات السحب غير الصالحة (بما في ذلك القاعدة والمعادن والوضع و Zora).
لضمان أمان وثقة أصول المستخدمين ، يستخدم التفاؤل إثبات الفشل في التحقق من دقة وفعالية المعاملات على السلسلة ومنع السلوك الضار.تشمل المبادئ الرئيسية:
-
توافر البيانات: يضمن إثبات الفشل أن جميع البيانات على الطبقة 2 يمكن الوصول إليها والتحقق منها بواسطة الطبقة 1.
-
فترة التحدي: خلال فترة تحدي محددة ، يمكن لأي شخص الاعتراض على البيانات ثنائية المستوى.
إذا تم العثور على بيانات الطبقة 2 والطبقة 1 غير متسقة ، فيمكن للطرف المتنازع عليه أن يثير تحديًا.يجب على مشغلي المستوى 2 تقديم أدلة لدحض التحدي والتحقق من صحة البيانات.
-
النهائي: إذا لم يحدث أي تحد فعال خلال فترة التحدي أو يدحض مشغل المستوى 2 التحدي بنجاح ، فسيتم الانتهاء من المعاملة واعتبارها صالحة.
1.2 العلاقة والفرق بين OP Stack و OP Labs
Op Labs هو الفريق أو المؤسسة التي تطور حلول التفاؤل ، و Op Stack هي الإطار الفني لبناء وتوسيع شبكات Ethereum Layer 2.يمكن فهم العلاقة بين مختبرات OP و OP Stack على أنها العلاقة بين المطورين وأدوات التطوير.
-
Op Labs: Op Labs هو مساهم أساسي في مشروع التفاؤل ، المسؤول عن تطوير وصيانة حلول الطبقة 2.إنه فريق أو منظمة مكرسة لإنشاء وتحسين الأدوات التقنية مثل الانتقالات المتفائلة المتعلقة بملحقات Ethereum.الهدف الرئيسي من مختبرات OP هو تقليل الحمل على الشبكة الرئيسية Ethereum ، وتقليل تكاليف المعاملات وزيادة سرعة المعاملة.تعمل Op Labs أيضًا مع مشاريع أخرى مثل Labs Evalinct لتطوير تقنيات تحجيم Ethereum ، مثل OP Scibcrinced مع التركيز على تحسين البراهين الصفرية.
Op Labs هي الفريق أو المؤسسة الرئيسية المسؤولة عن تطوير شبكة التفاؤل والحفاظ عليها.هدفهم هو إنشاء حلول تحجيم فعالة لـ Ethereum ، مع التركيز على تقليل رسوم المعاملات وزيادة سرعات المعاملات.إنهم لا يقومون فقط بتطوير عمليات التوصيل المتفائلة ، ولكن أيضًا الترويج للتقنيات الجديدة المتعلقة بإثبات المعرفة الصفرية ، مثل OP Secrinct تم تطويرها في شراكة مع مختبرات مختصرة.
-
OP Stack: OP Stack عبارة عن مكدس معني أو مكدس تقني يستخدم لإنشاء وتوسيع شبكات Ethereum Layer 2.وهو يتألف من مكونات متعددة قابلة للتخصيص ، مما يسمح للمطورين ببناء سلاسل من طبقة ثنائية الطبقات بناءً على احتياجات محددة.يوفر للمطورين طريقة موحدة لإعداد شبكة من الطبقة المكونة من طبقة بسرعة تناسب شروط محددة.
يوفر Op Stack الذي تم تطويره بواسطة OP Labs إطار عمل وحدات يوفر البنية التحتية لبناء شبكتين للطبقة.يمكن للمطورين استخدام مكدس OP لإنشاء شبكات مختلفة قابلة للتطوير بسرعة.يتيح التصميم المعياري للمستخدمين اختيار آليات التحقق المختلفة بمرونة (مثل Rollups المتفائلة أو ZK Rollups) لتلبية احتياجات مختلف المشاريع.
في جوهرها ، يمكن اعتبار Op Labs هو مطور OP Stack ، وهي أداة فنية تقدمها Op Labs لمساعدة المطورين على بناء وتوسيع شبكات Ethereum Layer 2.
قبل الحفر في OP Ebvinct ، من الضروري تقديم المكونات الرئيسية الأربعة لكل مكدس OP:
1.
2. OP-Batcher: معاملات المستخدم الدُفعة وقم بإرسالها إلى الطبقة 1.
3. العقد العقد: اقرأ بيانات الدُفعات من الطبقة 1 وقيادة OP-Geth في الوضع غير المتقدم لتحويل الحالة.
4.
2. يتعاون المختبرات المخلصة مع مختبرات OP لتقديم عناصر ZK في OP Stack
مصدر الصورة: مدونة موجزة
2.1 OP مكونات الهندسة المعمارية
تم بناء OP Evalinct على مكون مكدس OP الموضح في القسم 1.2 وهو ترقية خفيفة الوزن إلى المكدس ، مما يسمح للسلسلة باستخدام كتل ZK مع الحفاظ .يتكون OP Evalinct من المكونات الرئيسية الأربعة التالية:
-
برنامج المدى: برنامج يعالج كتل الدُفعات ، مكتوبة في الصدأ ، مصممة لتشغيل داخل ZKVM.
-
برنامج التجميع: إجمالي البراهين من برامج النطاق لتقليل تكاليف التحقق على السلسلة ، وكتبت أيضًا في الصدأ ومصممة لتشغيلها في ZKVM.
-
OP Evalinct L2 OUTPUT ORACLE: عقد ذكي للصلابة يحتوي على صفيف إخراج حالة L2 ، يتم تقديم كل مخرج إلى حالة سلسلة L2.يوجد هذا العقد في نظام التفاؤل الأصلي ، ولكن تم تعديله لاستخدام إثبات التحقق من الصحة كآلية مصادقة.
-
OP Joundived Proposer: مراقبة دفعات المعاملات المنشورة على L1 وإدارة توليد إثبات برامج النطاق والتجميع.
2.2 كيف يتم دمج OP Evalinct في سرد تمديد Ethereum؟
كان بناء Zkevm Rollups يمثل تحديًا بسبب كمية كبيرة من خبرة التشفير المطلوبة.عندما تقوم OP Labs بتطوير مكدس OP Modular ، فإنهم يتوقعون دعم آليات الإثبات المختلفة.تحقيقًا لهذه الغاية ، قاموا بفتح تطوير Kona ، وتطبيق STFs من Rollups Op Stack باستخدام Rust ، وفي النهاية تم إنشاء أدلة المعرفة الصفرية (ZKP) ل Op Stack من خلال برامج Kona و SP1.هذا يعني أنه ، من الناحية النظرية ، يمكن ترقية أي سلسلة مكدس OP لاستخدام ZKP.
الهدف من SP1 (المعالج المستجيب 1) هو تمكين المطورين من دمج Rollup type-1 ZKEVM باستخدام رمز الصدأ القياسي.باستخدام OP Evalinct ، يمكن إكمال عملية ترقية أي سلسلة مكدس OP موجودة إلى ZKEVM Rollup في ساعة واحدة ، مع المزايا التالية:
-
تأكيد ZKP السريع: قلل من تأخير الإثبات إلى بضع دقائق ، لتحل محل نافذة نزاع الوقاية من الاحتيال لمدة 7 أيام.
-
كفاءة التكلفة: يتم تخفيض متوسط تكلفة المعاملة إلى بضعة سنتات فقط.
-
Switch Op Stack to ZK: من خلال نشر العقود الذكية ، وإطلاق خدمة الافتراضات المخصصة لخفيفة الوزن ، ويمكن إنشاء أدلة من خلال مكالمات API (بما في ذلك الدُفعات/التسلسل ، والعقدة ، والمؤشر ، إلخ).
-
Type-1 ZKEVM: جميع الأدوات المتوافقة مع Rollups المتوافقة مع OP Stack Rollups والعقود الذكية متوافقة مع Rollups Op Secriccted.
-
قابلية التوسع المحسّنة: يمكن للتخصيص القابل للتخصيص أن يضيف عمليات التوصيل المسبقة الجديدة وتعديل منطق Rollup حسب الحاجة.
وفقًا لوثائق GitHub الرسمية ، لا تتطلب العملية سوى تثبيت Rust و Foundry و Docker لترقية أي رولب حديد OP إلى type-1 Zkevm Rollup.تتضمن العملية المبسطة خطوتين:
-
نشر عقد ZK L2Outputoracle.sol.
-
ابدأ خدمة الاقتراح الجزيء OP (انظر GitHub Extension Link 2 للحصول على خطوات مفصلة).
مصدر الصورة: مدونة موجزة – ترقية OP Stack Rollup إلى أدلة ZK
2.3 بناء النوع 1 ZKEVM باستخدام SP1 RETH
يعتقد مقتني أن مستقبل evm Rollups يكمن في Zkevm المكتوب بلغة الصدأ ، مما يجعله أكثر قابلية للصيانة.في الوقت الحالي ، تواجه OP Rollups ثلاثة تحديات رئيسية: نافذة طويلة من الوقاية من الاحتيال لمدة 7 أيام ، وقابلية تشغيل متداخلة معقدة ، وفي بعض الحالات تعتمد على مجموعات متعددة من آليات البيانات بدلاً من أدلة الوقاية من الاحتيال.يعد تطوير ZKEVM جهدًا طويل الأجل ، لذلك تم إنشاء SP1 لحل هذه التحديات.
SP1 عبارة عن ZKVM عالية الأداء ، قابلة للتخصيص بالكامل ، مفتوح بنسبة 100 ٪ ، ويمكنه التحقق من تنفيذ أي برنامج RUST (أو LLVM).وفقًا للبيانات العامة ، تم تشغيل OP Scibinct Stack بنجاح على OP Mainnet و OP Sepolia وسلاسل الأساس ، مع تكاليف إثبات المعاملات تتراوح بين 0.01 دولار إلى 0.02 دولار (انظر الرابط الموسع 3).في المستقبل ، من المرجح أن تتم كتابة جميع البنية التحتية للبنية blockchain ، بما في ذلك Rollups والجسور والمعالجات المشتركة ، بلغة الصدأ (أو لغة LLVM الأخرى) والاستفادة من ZKP.
وفقًا للمدونة المتجددة ومحتوى GitHub مفتوح المصدر ، تنبع مزايا أداء SP1 على ZKVMs الأخرى من عدة عوامل رئيسية:
-
الهندسة المعمارية المتمحورة حول الجبال: تدعم SP1 أنظمة التحميل المسبق المرنة ، وتسريع عمليات السرعة بشكل كبير مثل التحقق من توقيع Secp256K1 و ED25519 ، SHA256 و Keccak256 ، وتقليل عدد دورات RISC-V للعديد من البرامج بحلول 5 مرات.إنه مصمم لتوفير أداء مماثل لدوائر ZK مع الحفاظ على مرونة ZKVM وتجربة مطور ممتازة.
-
مفتوح المصدر بالكامل: SP1 مفتوح بنسبة 100 ٪ ، مما يسمح للفرق مثل الوسيطة والتمرير لتنفيذ مُجهز مخصص ، مما يقلل من عدد الحلقات وتسريع وقت توليد الإثبات.
-
معيار الصناعة: منذ إطلاقها ، أصبحت فكرة التمييز في المنزل في ZKVM معيارًا في الصناعة ، مما يؤثر على مشاريع مثل RISC0 و Valya و Nexus و Jolt.SP1 هو ZKVM الوحيد المتاح للإنتاج ، مما يدعم مجموعة واسعة من عمليات التشفير الحرجة.
-
قراءة الذاكرة الفعالة والكتابة: تعتمد SP1 طريقة إثبات الذاكرة المبتكرة التي يمكن أن تحقق ذاكرة متسقة عبر أدلة متعددة مع تحد واحد فقط ، وتجنب النفقات العامة للذاكرة merkleized.
-
تحسين الكفاءة الأساسية: يعمل SP1 على تحسين كفاءة استخدام منطقة التتبع مع عوامل التضخيم المنخفضة ومعلمات البحث من الجيل التالي مثل المشتقات القائمة على اللوغاريتمية مثل Logup ، ومتغيرات FRI في PLONKY3.
مصدر الصورة: مدونة موجزة
3. هل يمكن أن تصبح OP المستجيب بطاقة ترامب من مكدس OP ضد ZK Stack؟
مصدر الصورة: jtguibas
إذا كانت خطة التوسع الخاصة بـ Ethereum OP على المدى القصير و ZK على المدى الطويل ، فإن النجاح المحتمل لـ OP المستجيب قد يمثل علامة فارقة مهمة في مسار تطوير Ethereum.يوفر OP Sequinct مسارًا قابلاً للترقية للانتقال من ETH Rollups من التحقق المتفائل إلى إثبات المعرفة الصفرية (ZKP).هذا التحول لا يقلل من تكاليف المعاملات فحسب ، بل يزيد أيضًا من سرعة المعاملة ، مع الحفاظ على خصائص الأمان والخصوصية لـ ZK Rollups ، مما يؤدي إلى إمكانيات جديدة لتوسع طبقة التطبيق في المستقبل.
من بين حلول الطبقة 2 المعترف بها ، يبدو أن مكدس OP أفضل قليلاً من ZK في البناء البيئي. .
ومع ذلك ، من المنطق التشغيلي الحالي المقترح ، يظهر سؤال رئيسي: كيف يضمن المطورون أن المخاطر على مستوى النظام ناتجة عن تعديل وظائف انتقال الحالة (STFs) أو إضافة ثغرات ثغرات غير معروفة جديدة؟هذا مجال يستحق الاهتمام على المدى الطويل.
