TL ؛ د

الوظيفة الرئيسية لـ OP Succinct هي دمج ZKP في الهيكل النمطي لـ OP Stack لتحويل OP Stack Rollup إلى ZK Rollup مفحوص بالكامل؛

● إذا كانت نهاية توسيع شبكة ETH هي تحويل كل Rollup إلى ZK Rollup ، فإن هدف OP Succinct هو دمج Rust و SP1 لتنفيذ نشر OP Stack من النوع 1 zkEVM (المكافئ الكامل لشبكة ETH)؛

●OP المقترح الموجز يكمل بشكل رئيسي توليد الأدلة المتوازية وتجميع الأدلة والتحقق منها؛

●OP Stack النظام الحالي يعتمد على ‘نافذة مكافحة الاحتيال لمدة 7 أيام’ ، وفي حالة وجود خلاف ، سيتم تأجيل التحقق من الصفقة لمدة أسبوع ، يستخدم OP Succinct البراهين ZK لتقليل الوقت اللازم لإكمال الصفقة ، مما يقضي على الحاجة إلى توسيع نافذة مكافحة الاحتيال؛

●OP Succinct يمكن أن يقلل كلفة العملية بشكل كبير.

1. مراجعة الفترة الأخيرة: تطورٌ حديث في شبكة OP Mainnet ومكدس OP ومختبرات OP

المصدر الرسومي: Blockscout

1.1 نقاط تطور شبكة OP Mainnet الأخيرة

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

لضمان أمان وثقة أصول المستخدم، يعتمد Optimism على الإثبات الخاص بالأخطاء لزيادة دقة وفعالية المعاملات داخل السلسلة ومنع السلوك الخبيث، وتشمل مبادئه: 01928374656574839201

● توافر البيانات: يضمن إثبات الفشل أولاً أن جميع البيانات على الطبقة 2 قابلة للوصول ويمكن التحقق منها على الطبقة 1؛

● الفترة التحدي: خلال فترة تحدي معينة، يمكن لأي شخص الاعتراض على البيانات على Layer-2.

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

1.2.OP الكفوف والعلاقة والاختلاف بين OP Labs

OP Labs هي فريق أو منظمة تطوير حلول Optimism ، بينما OP Stack هو إطار تقني يستخدم لبناء وتوسيع شبكة طبقة ETH الثانية. يمكن فهم العلاقة بين OP Labs و OP Stack كعلاقة بين المطور وأدوات التطوير الخاصة به.

● مختبرات OP:

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

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

● مكدس OP:

OP Stack هو تراكيب أو تكوينات معمارية مرنة لبناء وتوسعة شبكة ETH الطبقة الثانية. يتكون من عدة مكونات قابلة للتخصيص تسمح للمطورين ببناء سلسلة طبقة ثانية خاصة بهم وفقًا للمتطلبات المحددة. يوفر طريقة موحدة تمكن المطورين من بناء شبكة توسيع طبقة ثانية تتوافق مع الشروط المحددة بسرعة.

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

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

**قبل فهم OP Succinct ، يجب إكمال فهم أربعة مكونات رئيسية لكل كتلة OP:**1. op-geth: الحصول على المعاملات من المستخدم واستخدام هذه المعاملات لإنشاء كتلة وتنفيذ الكتلة؛2. op-batcher: تجميع معاملات المستخدمين وتقديمها إلى L1؛ 3. op-node: قراءة بيانات الدفعة من L1 وتشغيل op-geth في وضع عدم الفرز لتحويل الحالة؛ 4. op-proposer: نشر جذر الإخراج بشكل منتظم إلى L1 لالتقاط حالة L2 وتسهيل السحب.

2. تعاون Succinct Labs مع OP Labs لإدخال عناصر ZK في OP Stack

المصدر: بلوغ Succinct

2.1OP Succinct تكوين الهيكل

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

● برنامج النطاق: هذا هو برنامج يقوم بتنفيذ دُفعات كتلة، وهو برنامج مكتوب بلغة الروست ومصمم للتنفيذ في zkVM.

● برنامج التجميع (Aggregation Program.)：برهان نطاق البرنامج التجميعي، لاستقرار تكلفة التحقق داخل السلسلة، يتم كتابة هذا البرنامج بلغة Rust، مصمم للتنفيذ داخل zkVM؛

● OP Succinct L2 Output Oracle.：عقد ذكي يحتوي على مصفوفة من الحالات L2 الناتجة، حيث يتم تقديم كل ناتج لحالة السلسلة L2. يوجد هذا العقد بالفعل في النظام الأصلي لـ Optimism، ولكن تم تعديله ليكون إثبات التحقق كآلية تحقق.

● مقترح موجز OP: مراقبة دفعات المعاملات التي تم نشرها على L1 والتحكم في برنامج نطاق البرنامج وبرنامج الجمع.

2.2 OP Succinct يروي قصة توسيع إيثريوم كيف؟

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

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

● تأكيد سريع لـ ZKP: يقلل وقت الاستجابة إلى عدة دقائق فقط ، ليحل محل فترة الشكوك البالغة 7 أيام من دليل الاحتيال.

● تقليل التكلفة وزيادة الكفاءة: تكلفة كل صفقة في المتوسط تصل إلى عدة سنتات؛

● قم بتبديل ZK Stack إلى OP: ما عليك سوى نشر العقد الذكي وتشغيل خدمة الاقتراح الخفيفة OP Succinct (راجع النص أدناه) لتوليد البراهين باستخدام واجهة برمجة التطبيقات (بما في ذلك معالج الدفعات / المرتبة ، op-node ، فهرس الخ) ؛

● Type-1 zkEVM: جميع الأدوات المتوافقة مع OP Stack Rollup والعقود الذكية تنطبق على OP Succinct Rollup؛

● تعزيز القابلية للتوسيع: باستخدام OP Succinct rollup قابل للتخصيص، يمكن إضافة معالجات مسبقة جديدة وتعديل منطق Rollup.

وفقًا لوصف GitHub الرسمي ، يتطلب العملية فقط تثبيت Rust و Foundry و Docker ، ثم يمكنك ترقية أي OP Stack rollup موجود إلى Type-1 zkEVM rollup ، ويتم تبسيط العملية إلى خطوتين فقط: 1. نشر عقد ZK L2OutputOracle.sol ؛ 2. تشغيل خدمة OP Succinct Proposal (راجع رابط GitHub الموسع 2).

ترقية OP Stack Rollup إلى ZK Proof، المصدر: مدونة Succinct

2.3 استخدام SP1 Reth في بناء Type-1 zkEVM

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

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

وفقًا لملخصات المحتوى في مدونة Succinct ومفتوح المصدر على GitHub، يتم تفسير الفروق في الأداء بين SP1 وغيرها من zkVM بشكل رئيسي بواسطة عدة عوامل رئيسية.

1. هندسة معمارية محورية تركز على التجميع المسبق: يدعم SP1 نظام تجميع مرن يمكنه تسريع عمليات متعددة بشكل كبير (مثل التحقق من توقيعات secp256k1 و ed25519 ووظائف الهاش sha256 و keccak256) ، مما يقلل من عدد دورات RISC-V للعديد من البرامج بنسبة 5-10 مرات. هدفه التصميم هو توفير أداء يقارب الدوائر ZK ، مع الحفاظ في الوقت نفسه على المرونة وتجربة المطور الجيدة لـ zkVM؛

2. مفتوح المصدر بالكامل: SP1 هي مفتوحة المصدر بنسبة 100٪، وتسمح للفرق مثل Argument و Scroll بتنفيذ الترميز المخصص المُعد مسبقًا ، مما يقلل بشكل كبير من عدد الدورات ويسرع وقت إنشاء البرهان.

3. المعايير الصناعية: منذ إطلاقها ، أصبحت فكرة الترميز المسبق الداخلي لـ zkVM معيارًا صناعيًا ، وتم دمجها في مشاريع مثل RISC0 و Valida و Nexus و Jolt. SP1 هو zkVM الجاهز للإنتاج الوحيد ، ويدعم على نطاق واسع الترميز المسبق لعمليات التشفير الهامة؛

4. كتابة وقراءة الذاكرة بكفاءة عالية: يعتمد SP1 على طريقة دليل الذاكرة المبتكرة ، ويستخدم تحدي واحد لتحقيق العديد من الدلائل لذاكرة متسقة ، مما يجنب تكلفة تداول الذاكرة الخاصة بميركل؛

5. تحسينات الكفاءة الأساسية: استخدام عامل تدمير أقل ومعلمات بحث جديدة من الجيل الجديد (مثل LogUp القائم على الإشتقاق اللوغاريتمي)، بالإضافة إلى الاختلاف FRI في Plonky3، لزيادة كفاءة استخدام منطقة التتبع.

مصدر الصورة: مدونة Succinct ، انظر الرابط الموسع 4 في الملحق

三、OP Succinct هل يمكن أن يكون سلاح OP Stack لمواجهة ZK Stack؟

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

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

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

لكن وفقًا للمحتوى المعلن عنه حاليًا، فمن الواضح أننا يمكننا استنتاج كيفية ضمان عدم حدوث مخاطر نظامية ناجمة عن ثغرات غير معروفة عندما يقوم المطورون بتعديل وظائف STF أو إضافة وظائف مسبقة الترجمة جديدة، وهذا يتطلب منا البقاء في متابعة مستمرة.