TL;DR

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

●إذا كانت نهاية اللعبة للتوسع المستقبلي لـ Ethereum هو تحويل كل مجموعة تراكمية إلى ZK Rollup، والغرض من OP Succinct هو الجمع بين Rust وSP1 لتنفيذ نشر OP Stack's Type-1 zkEVM (مكافئ Ethereum الكامل)؛

● يكمل OP Succinct Proposer بشكل أساسي الإنشاء المتوازي للأدلة وتجميع الأدلة والتحقق منها؛

● يعتمد نظام OP Stack الحالي على "7 أيام من منع الاحتيال" "نافذة"، في حالة حدوث نزاع، سيتم تأجيل التحقق من المعاملة لمدة أسبوع واحد. يستخدم OP Succinct دليل ZK لتقصير الوقت المطلوب لإكمال المعاملة، مما يلغي الحاجة إلى تمديد نافذة مكافحة الاحتيال؛

● يمكن أن يؤدي OP Succint إلى تقليل تكاليف المعاملات بشكل كبير.

1. المراجعة الأخيرة: الوضع الحالي لـ OP Mainnet وOP Stack وOP Labs

المصدر: Blockscout

blockquote>

1.1 أبرز التطورات الأخيرة للشبكة الرئيسية OP

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

لضمان أمان وثقة أصول المستخدم، تستخدم Optimism إثبات الأخطاء لتحسين دقة وفعالية المعاملات عبر السلسلة ومنع ارتكاب الأخطاء، وتتضمن مبادئها ما يلي: < /p>

●  توفر البيانات: يضمن إثبات الفشل أولاً إمكانية الوصول إلى جميع البيانات الموجودة على الطبقة الثانية ويمكن التحقق منها بواسطة الطبقة الأولى ;< /p>

●    فترة التحدي: خلال فترة تحدي معينة، يمكن لأي شخص تقديم اعتراضات على البيانات الموجودة في الطبقة الثانية.

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

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

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

●   مختبرات OP:

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

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

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

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

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

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

2. تعمل Succint Labs وOP Labs معًا لحقن عناصر ZK في OP Stack

< img src ="https://img.jinse.cn/7302257_watermarknone.png" alt="" data-href="">

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

2.1OP تركيبة معمارية موجزة

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

●   هذا البرنامج مكتوب بلغة Rust وهو مصمم ليتم تنفيذه في zkVM;

●    برنامج التجميع.: برنامج نطاق التجميع قابل للتصغير -تكاليف التحقق من السلسلة. هذا البرنامج مكتوب أيضًا بلغة Rust وهو مصمم ليتم تنفيذه في zkVM;

●   OP Succinct L2 Output Oracle .: عقد Solidity الذكي الذي يحتوي على مجموعة من مخرجات حالة L2، حيث يكون كل مخرج التزامًا بحالة سلسلة L2. كان هذا العقد موجودًا بالفعل في نظام Optimism الأصلي، ولكن تم تعديله لاستخدام إثباتات التحقق كآلية للمصادقة؛

●   OP Succinct Proposer: Observe دفعات المعاملات المنشورة على L1 والتحكم في إثباتات برنامج النطاق وبرنامج التجميع.

2.2 ما نوع سرد توسعة Ethereum الذي يرويه OP Succinct؟

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

الهدف من SP1 (Succinct Processor 1) هو تمكين أي مطور من دمج مجموعة zkEVM من النوع 1 بسلاسة باستخدام رمز Rust القياسي وتمرير OP Succinct بسلاسة ترقية أي سلسلة OP Stack الحالية إلى مجموعة تراكمية zkEVM من النوع 1 في أقل من ساعة واحدة فقط وتقديم الأداء العالي الذي يتطلبه تطبيقك. وبهذه الطريقة، يمكنك الحصول على المزايا التالية:

● فترة تحدي إثبات الاحتيال لمدة 7 أيام;

●      تقليل التكلفة وتحسين الكفاءة: متوسط ​​تكلفة كل معاملة منخفض يصل إلى بضعة سنتات؛

p>

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

●     التراكمي;

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

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

ترقية OP Stack Rollup إلى إثبات ZK، المصدر: مدونة موجزة

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

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

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

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

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

2 مصدر مفتوح تمامًا:< /strong>SP1 مفتوح المصدر بنسبة 100%، مما يسمح لفرق مثل Argument وScroll بتنفيذ الترجمة المسبقة المخصصة، مما يقلل بشكل كبير من عدد الدورات ويسرع أوقات إنشاء الأدلة؛

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

4. قراءة وكتابة فعالة للذاكرة: SP1 اعتماد أسلوب مبتكر لإثبات الذاكرة، وذلك باستخدام تحدي واحد لتحقيق ذاكرة متسقة لإثباتات متعددة، وتجنب الحمل الزائد الناتج عن ذاكرة Merkleized؛

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

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

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

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

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

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

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