TLDR

وظيفة OP Succinct الأساسية هي دمج ZKP في البنية المعمارية المتكاملة لـ OP Stack، مما يحول Rollups OP Stack إلى ZK Rollups موثقة بالكامل.

إذا كانت حلول توسيع Ethereum المستقبلية تهدف إلى تحويل جميع Rollups إلى ZK Rollups ، فإن OP Succinct يهدف إلى نشر zkEVM من النوع 1 (المكافئة بالكامل لـ Ethereum) داخل OP Stack ، باستخدام Rust و SP1.

OP يحقق مقترح موجز توليد البرهان بشكل متوازي، جنبًا إلى جنب مع تجميع البرهان والتحقق.

نظام كومة OP الحالي يعتمد على "نافذة آمنة من الاحتيال لمدة 7 أيام"، مما يتسبب في تأخير المعاملات إذا نشأت نزاعات. يقصر OP Succinct وقت استكمال المعاملة باستخدام براهين ZK، مما يقضي على الحاجة إلى نافذة آمنة من الاحتيال الموسعة.

يمكن لـ OP Succinct تقليل تكاليف المعاملات بشكل كبير.

1. مراجعة حديثة: تحديثات OP Mainnet والعلاقة بين OP Stack و OP Labs

مصدر الصورة: Blockscout

1.1 التطورات الرئيسية على شبكة OP

بحلول 30 مارس 2024، أعلنت OP Labs عن إصدار "دلائل الأخطاء" على شبكة اختبار OP Sepolia، التي تم إطلاقها رسميًا على شبكة OP Mainnet في 11 يونيو 2024. وهذا يعد الخطوة الأولى نحو التمويل اللامركزي، مما يسمح للمستخدمين بسحب ETH و ERC-20 التوكنات من OP Mainnet دون الحاجة إلى طرف ثالث موثوق به. يتيح هذا الآلية للمستخدمين تحدي وإلغاء السحب غير الصحيح (بما في ذلك Base و Metal و Mode و Zora).

لضمان أمان وثقة أصول المستخدمين، يستخدم Optimism دلائل الأخطاء للتحقق من دقة وصحة المعاملات على السلسلة والحيلولة دون الإجراءات الخبيثة. تشمل المبادئ الرئيسية:

• توفر البيانات: يضمن الأدلة على الأخطاء أن جميع البيانات في الطبقة 2 متاحة ويمكن التحقق منها بواسطة الطبقة 1.
• فترة التحدي: خلال فترة تحدي محددة، يمكن لأي شخص أن يتنازع على البيانات في الطبقة 2.

إذا تم العثور على اختلاف بين بيانات الطبقة 2 والطبقة 1، يمكن للطرف المتنازع القيام بتحدي. يجب على مشغل الطبقة 2 تقديم دليل لمواجهة التحدي والتحقق من صحة البيانات. النهائية: إذا لم يحدث تحدي صالح خلال فترة التحدي أو نجح مشغل الطبقة 2 في مواجهة التحدي بنجاح، يتم تأكيد الصفقة واعتبارها صالحة.

1.2 العلاقة والفروق بين OP Stack و OP Labs

OP Labs هو الفريق أو المنظمة التي تطوّر حلاً مثلىً، في حين أن OP Stack هو إطار تقني يُستخدم لبناء وتوسيع شبكات Ethereum Layer 2. يمكن اعتبار العلاقة بين OP Labs و OP Stack على أنها العلاقة بين المطورين وأدوات تطويرهم.

• مختبرات OP: مختبرات OP هي المساهم الأساسي في مشروع Optimism، المسؤولة عن تطوير وصيانة حلول Optimism Layer 2. إنه فريق أو منظمة مكرسة لإنشاء وتحسين الأدوات التقنية المتعلقة بتوسيع Ethereum، مثل Optimistic Rollups. الهدف الأساسي لمختبرات OP هو تقليل العبء على Ethereum mainnet، وخفض تكاليف المعاملات، وزيادة سرعة المعاملات. كما تتعاون مختبرات OP مع مشاريع أخرى، مثل Succinct Labs، للنهوض بتقنيات توسيع Ethereum مثل OP Succinct، الذي يركز على تحسين البراهين ذات الصفر المعرفة.

OP لابس هو الفريق الأساسي أو المنظمة المسؤولة عن تطوير وصيانة شبكة التفاؤل. هدفهم هو إنشاء حل لتوسيع كفاءة Ethereum ، مع التركيز على خفض رسوم المعاملات وزيادة سرعة المعاملات. إنهم لا يطورون فقط التدويرات المتفائلة ولكنهم أيضًا يدفعون بتقنيات جديدة تتعلق بالبراهين بدون معرفة ، مثل OP Succinct بالشراكة مع Succinct Labs.

• OP Stack: تعد OP Stack منشأة معمارية متعددة الوحدات أو مكدس تقني يُستخدم لبناء وتوسيع شبكات Ethereum Layer 2. يتكون من عدة مكونات قابلة للتخصيص، مما يتيح للمطورين بناء سلاسلهم الخاصة Layer 2 وفقًا لمتطلبات محددة. يوفر نهجًا موحدًا للمطورين لإعداد بسرعة شبكات التوسيع Layer 2 المصممة خصيصًا للظروف المحددة.

OP Stack، الذي طوّرته OP Labs، يقدم إطارًا متكاملًا يوفر البنية التحتية الأساسية لبناء الشبكات من الطبقة الثانية. يمكن للمطورين استخدام OP Stack لإنشاء شبكات توسع مختلفة بسرعة. يسمح التصميم المتكامل للمستخدمين باختيار آليات التحقق المختلفة (مثل الارتدادات المتفائلة أو الارتدادات ZK) بمرونة لتلبية احتياجات المشاريع المختلفة.

بالأساس، يمكن اعتبار OP Labs كمطوري OP Stack، و OP Stack هو الأداة التقنية التي توفرها OP Labs لمساعدة المطورين في بناء وتوسيع شبكات Ethereum Layer 2.

قبل الانغماس في OP Succinct، من المهم أن نقدم العناصر الأربعة الرئيسية لكل OP Stack:

• op-geth: يقوم بجمع المعاملات من المستخدمين وتوليد وتنفيذ الكتل بناءً على تلك المعاملات.
• op-batcher: يجمع معاملات المستخدم ويقدمها إلى الطبقة 1.
• op-node: يقرأ البيانات الدُفعية من الطبقة 1 ويقود op-geth للانتقال إلى الحالة في وضع غير التسلسلي.
• op-proposer: ينشر بشكل دوري جذور الإخراج إلى الطبقة 1 ، ويتم التقاط حالات الطبقة 2 وتيسير عمليات السحب.

2. تتعاون سوسنكت لابز مع شركة أوب لابز لإدخال عناصر ZK في أوب ستاك

مصدر الصورة: مدونة موجزة

2.1 مكونات هندسية موجزة OP

بناءً على مكونات OP Stack الموضحة في القسم 1.2 ، OP Succinct هو ترقية خفيفة لـ OP Stack التي تسمح للسلاسل باستخدام كتل موثوقة بواسطة ZK مع الاحتفاظ بالمكونات الأخرى (op-geth و op-batcher و op-node) دون تغيير. يتكون OP Succinct من الأربعة مكونات الرئيسية التالية:

• برنامج النطاق: برنامج يعالج الكتل الدفعية، مكتوب بلغة Rust ومصمم للتشغيل ضمن zkVM.
• برنامج التجميع: يجمع الأدلة من برنامج النطاق لتقليل تكاليف التحقق على السلسلة، مكتوب أيضًا بلغة Rust ومصمم لتشغيله في zkVM.
• OP مختصر L2 إخراج أوراكل: عقد ذكي Solidity يحتوي على مجموعة من إخراجات حالة L2 ، والتي تلتزم بحالة سلسلة L2. يوجد هذا العقد في نظام Optimism الأصلي ولكن تم تعديله لاستخدام التحقق من البرهان كآلية مصادقة.
• OP مقترح موجز: يراقب دفعات المعاملات المنشورة على L1 ويدير إنشاء الدليل لبرامج النطاق والتجميع.

2.2 كيف يندرج OP Succinct في السرد الزمني لتوسيع Ethereum؟

كان بناء zkEVM Rollups تحديًا بسبب الخبرة الشاملة في التشفير المطلوبة. عندما طوّرت OP Labs مكدس OP القابل للتوسيع، توقعوا دعم آليات الإثبات المختلفة. لهذا الغرض، فتحوا المصدر لتطوير Kona (انظر الرابط التالي) لتنفيذ STF لـ Rollups من OP Stack باستخدام Rust، مما يمكن في نهاية المطاف تمكين إنشاء البراهين بدون معرفة (ZKP) لـ OP Stack من خلال Kona وبرنامج SP1. وهذا يعني أنه في النظرية، يمكن ترقية أي سلسلة OP Stack لاستخدام ZKP.

هدف SP1 (Succinct Processor 1) هو السماح للمطورين بدمج Type-1 zkEVM rollups باستخدام رمز Rust القياسي بسهولة. مع OP Succinct، يمكن إكمال عملية ترقية أي سلسلة OP Stack موجودة إلى Type-1 zkEVM rollup في غضون ساعة واحدة، مما يقدم الفوائد التالية:

• تأكيد ZKP السريع: يقلل من تأخيرات البرهان إلى دقائق معدودة، محلولاً نافذة النزاع على الاحتيال لمدة 7 أيام.
• كفاءة التكلفة: يتم تقليل تكاليف المعاملات المتوسطة إلى بضعة سنتات فقط.
• تبديل كومة OP إلى ZK: من خلال نشر عقد ذكي وإطلاق خدمة اقتراح OP موجزة خفيفة، يمكن إنشاء البراهين من خلال استدعاءات واجهة برمجة التطبيقات (بما في ذلك معالجة الدفعات/المتسلسلة، عقدة op، المؤشر، الخ).
• النوع-1 zkEVM: جميع الأدوات والعقود الذكية المتوافقة مع ستاك OP رولابس متوافقة مع OP سوكسنكت رولابس.
• زيادة القدرة على التوسع: يمكن لملخص OP المخصص للتوسيع إضافة محفوظات جديدة مسبقًا وتعديل منطق Rollup حسب الحاجة.

وفقًا لوثائق GitHub الرسمية، يتطلب العملية فقط تثبيت Rust و Foundry و Docker لترقية أي تكديس OP موجود إلى تكديس zkEVM من النوع 1. يتضمن العملية المبسطة خطوتين:

• نفذ عقد ZK L2OutputOracle.sol.
• تشغيل خدمة اقتراح موجز OP (يرجى الرجوع إلى رابط تمديد GitHub 2 للحصول على الخطوات المفصلة).

مصدر الصورة: مدونة موجزة - ترقية كومة OP إلى ZK Proofs

2.3 بناء نوع zkEVM-1 باستخدام SP1 Reth

تعتقد سوكسنكت أن مستقبل EVM Rollups يكمن في zkEVM المكتوب بلغة Rust، مما يسمح بسهولة الصيانة الأفضل. حاليًا، تواجه OP Rollups ثلاث تحديات رئيسية: نافذة إثبات الاحتيال المطولة لمدة 7 أيام، والتشغيل المتكامل المعقد، والاعتماد في بعض الحالات على آليات بيانات متعددة المجموعات بدلاً من إثباتات الاحتيال. تطوير zkEVM هو جهد طويل الأمد، لذلك تم إنشاء SP1 للتعامل مع هذه التحديات.

SP1 عبارة عن zkVM عالي الأداء وقابل للتخصيص بالكامل وهو مفتوح المصدر بنسبة 100٪. يمكنه التحقق من تنفيذ برامج Rust التعسفية (أو برامج LLVM المجمعة). وفقا للبيانات العامة ، تم تشغيل OP Succinct Stack بنجاح على OP Mainnet و OP Sepolia والسلسلة الأساسية ، مع تكاليف إثبات المعاملات التي تتراوح من 0.01 دولار إلى 0.02 دولار (انظر رابط الامتداد 3). في المستقبل ، من المحتمل أن تتم كتابة جميع البنية التحتية ل blockchain ، بما في ذلك Rollups والجسور والمعالجات المشتركة ، بلغة Rust (أو لغات أخرى مجمعة من LLVM) والاستفادة من ZKP.

استنادًا إلى ملخصات من مدونة Succinct ومحتوى GitHub مفتوح المصدر ، تنبع مزايا أداء SP1 على أجهزة الظلال الأخرى من عدة عوامل رئيسية:

• هندسة معمارية متوجهة نحو التجهيز المسبق: يدعم SP1 نظامًا معماريًا مرنًا للتجهيز المسبق ، مما يعزز بشكل كبير عمليات مثل التحقق من توقيع secp256k1 و ed25519 ، والتجزئة sha256 و keccak256 ، ويقلل عدد دورات RISC-V بنسبة 5-10 مرات للعديد من البرامج. يهدف إلى توفير أداء يمكن مقارنته بدوائر ZK مع الحفاظ على مرونة zkVM وتجربة مطور ممتازة.
• مفتوح بالكامل المصدر: SP1 هو مصدر مفتوح بنسبة 100٪، مما يتيح للفرق مثل Argument و Scroll تنفيذ تجهيزات مخصصة، مما يقلل من عدد الدورات ويسرع من أوقات تكوين الإثبات.
• المعيار الصناعي: منذ إطلاقها ، أصبحت فكرة المتراصات المسبقة الداخلية للأجهزة الظاهرية معرفة صناعية ، وتؤثر على مشاريع مثل RISC0 و Valida و Nexus و Jolt. SP1 هو الوحيد الجاهز للإنتاج zkVM ، والذي يدعم مجموعة واسعة من العمليات التشفيرية الحرجة.
• القراءة/الكتابة الفعالة للذاكرة: يستخدم SP1 طريقة دليل الذاكرة المبتكرة التي تحقق ذاكرة متسقة عبر عدة دلائل بتحدي واحد، مما يتجنب الفوائض في الذاكرة الميركل.
• التحسينات الأساسية في الكفاءة: استخدام عامل نفخ أقل ومعلمات بحث الجيل القادم (على سبيل المثال، المشتقات القائمة على اللوغاريتم مثل LogUp)، جنبا إلى جنب مع النسخة FRI في Plonky3، يحسن SP1 كفاءة استخدام منطقة الأثر.

مصدر الصورة: مدونة موجزة - انظر شرح الملحق في رابط التمديد 4

3. هل يمكن لـ OP Succinct أن تصبح الورقة الرابحة لـ OP Stack ضد ZK Stack؟

صورة المصدر: @jtguibas

إذا كانت حلول توسيع Ethereum تُعتبر OP على المدى القصير و ZK على المدى الطويل، فإن النجاح المحتمل لـ OP Succinct يمكن أن يمثل نقطة مهمة في مسار تطوير Ethereum. يوفر OP Succinct مسارًا قابلاً للترقية لـ ETH Rollups للانتقال من التحقق المتفائل إلى دلائل الصفر المعرفية (ZKP). يقلل هذا التحول ليس فقط من تكاليف المعاملات ولكن يزيد أيضًا من سرعة المعاملات مع الحفاظ على سمات الأمان والخصوصية لـ ZK Rollups، مما يفتح آفاقًا جديدة لتوسيع طبقة التطبيق في المستقبل.

من بين الحلول الرئيسية الأربعة المعترف بها في الطبقة 2، يبدو أن OP Stack حالياً لديها حافة طفيفة على ZK Stack من حيث تطوير النظام البيئي. قد تشهد المستقبل حتى تأثير ماثيو أكثر وضوحًا، حيث يمكن أن تنقل OP Succinct قسمًا من حركة وإمكانية ZK Stack. إذا ثبت نجاح OP Succinct، فقد يشكل تحدٍ حتى للRollups التقليدية القائمة على zkEVM.

ومع ذلك ، من المنطق التشغيلي المقدم حتى الآن ، يظهر جانب واحد حاسم: كيف يمكن للمطورين ضمان اكتشاف المخاطر على مستوى النظام ، الناجمة عن نقاط ضعف غير معروفة عند تعديل وظيفة انتقال الحالة (STF) أو إضافة مجموعات مسبقة جديدة ، في الوقت المناسب؟ وهذا مجال يستدعي اهتماما طويل الأجل.

تنويه:

1. هذه المقالة مأخوذة من [واي بي بي كابيتال]. جميع حقوق الطبع والنشر تنتمي إلى المؤلف الأصلي [أكور]. إذا كانت هناك اعتراضات على هذا النشر المكرر، يرجى التواصل مع بوابة تعلمالفريق، وسوف يتولى بشكل سريع.
2. إخلاء المسؤولية: الآراء ووجهات النظر الواردة في هذه المقالة هي آراء المؤلف فقط ولا تشكل أي نصيحة استثمارية.
3. تتم الترجمة للمقالة إلى لغات أخرى بواسطة فريق تعلم غيت. ما لم يذكر ، فإن نسخ أو توزيع أو سرقة المقالات المترجمة ممنوعة.