المؤلف الأصلي: YBB Capital الباحث AC-Core

TL; د

• OP Succinct توفر الوظيفة الرئيسية لدمج ZKP في هيكلية الوحدة النمطية OP Stack لتحويل OP Stack Rollup إلى ZK Rollup موثوق بالتحقق الكامل.
• إذا كان مستقبل إيثريوم هو تحويل كل Rollup إلى ZK Rollup، فإن هدف OP Succinct هو دمج Rust و SP 1 لتحقيق نوع OP Stack من zkEVM (مكتمل بالكامل مثيل لإيثريوم)؛
• OP الشخص المقترح الموجز يقوم بإكمال توليد الأدلة المتوازية وتجميعها والتحقق منها؛
• يعتمد نظام OP Stack الحالي على "نافذة مكافحة الاحتيال لمدة 7 أيام" ، وفي حالة وجود أي خلاف ، سيتم تأجيل التحقق من الصفقة لمدة أسبوع ، بينما يُستخدم OP Succinct البرهان ZK لتقليل الوقت المطلوب لإتمام الصفقة والتخلص من الحاجة إلى توسيع نافذة مكافحة الاحتيال.
• OP موجز يمكن أن يقلل كلفة العملية بشكل كبير.

١. استعراض للفترة الأخيرة: OP Mainnet و OP Stack و OP Labs

مصدر الصورة: بلوكسكوت

1.1 نقاط تطور شبكة OP الرئيسية في الوقت الحالي

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

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

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

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

1.2.OP علاقة Stack و OP Labs والاختلاف

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

• مختبرات OP:

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

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

• تراكم OP:

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

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

تعتبر شركة OP Labs مطورًا لـ OP Stack، وهو أداة تقنية تقدمها شركة OP Labs لمساعدة المطورين في بناء وتوسيع شبكة إيثيريوم الفرعية.

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

الثاني، تعاونت شركة Succinct Labs مع OP Labs لدمج عناصر ZK في OP Stack

مصدر الصور: مدونة Succinct

2.1 تكوين هيكل OP موجز

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

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

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

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

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

• ZKP 的快速确认：让证明وقت الإستجابة缩短至几十分钟， 以“替换”长达 7 天的دليل على الاحتيال质疑期；
• 01928374656574839201
• تبديل OP Stack إلى ZK: يتم ببساطة نشر عقد ذكي واحد وتشغيل خدمة اقتراح OP Succinct الخفيفة الوزن (انظر الأسفل) لتوليد الأدلة عبر استدعاء API (بما في ذلك مجمعات العمليات / الفرز و op-node ومفهرسات وما إلى ذلك)؛
• Type-1 zkEVM: جميع الأدوات المتوافقة مع OP Stack Rollup والعقود الذكية تعمل مع OP Succinct Rollup؛
• زيادة القابلية للتوسع: باستخدام OP Succinct rollup قابل للتخصيص ، يمكن إضافة البرامج المعتمدة مسبقًا وتعديل منطق Rollup الحالي.

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

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

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

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

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

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

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

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

ثالثا، يمكن لـ OP Succinct أن يكون سلاحًا قاطعًا ضد ZK Stack؟

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

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

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

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

رابط المشاركة:

（1）

（2）

（3）

（4）