نزاع مسار ZK/OP الخاص بـ RaaS: لماذا يعتبر ZK-RaaS أفضل؟

ليرة تركية؛ دكتور

مقارنةً بـ Optimistic Rollups، تتمتع ZK-Rollups بالمزايا التالية:

• بيانات المعاملات المضغوطة توفر تكلفة الغاز L1
• أكثر أمانا وجديرة بالثقة
• سرعة أسرع لتأكيد المعاملة ووقت سحب أقصر

بالإضافة إلى هذه الفوائد، تتمتع ZK-RaaS أيضًا بمزايا في الجوانب التالية من خلال تأثيرات الشبكة:

• توفر ZK-RaaS قوة حوسبة واسعة النطاق لعمليات ZK-Rollups الضخمة من خلال ZK-PoW، وبالتالي تقليل تكلفة حسابات ZKP
• بفضل سرعة تأكيد المعاملة الأسرع لـ ZK-Rollup (مستوى الدقيقة)، يمكن لـ ZK-Rollup تنفيذ بروتوكول اتصال أصلي عبر التجميع (NCRC)، وبالتالي حل مشكلة تجزئة السيولة

ما هو RaaS؟

توفر مجموعات التحديثات كخدمة (RaaS) طبقة تجريد عبر إطار عمل مجموعة التحديثات وSDK لسهولة النشر والصيانة والإنشاء فوق مجموعات التطبيقات المخصصة والمخصصة لمستوى الإنتاج (AppRollups). على غرار عروض البرامج كخدمة، تتيح RaaS للمطورين التركيز على بناء طبقة التطبيق، وتحويل العملية التي كانت تستغرق عشرات الساعات مع مهندسين متعددين إلى عملية نشر بدون تعليمات برمجية مدتها 10 دقائق.

النوعان الرئيسيان من مجموعات التحديثات هما مجموعات متفائلة و ZK-Rollups. وهي تختلف في التحقق من صحة المعاملات ومعالجة النزاعات، ولها نقاط قوة ونقاط ضعف مختلفة. وفقًا لنوع مجموعة التحديثات المقدمة، تقوم هذه الورقة بتقسيم RaaS إلى Op-RaaS وZK-RaaS.

1. التكلفة

تكلفة غاز L1 لـ ZK-Rollups أقل من تكلفة Optimistic Rollups

أحد الأهداف الرئيسية لحل Rollup هو زيادة إنتاجية المعاملات على Ethereum وتقليل تكاليف الغاز للمستخدمين. تحقق التراكمات المتفائلة وZK-Rollups ذلك عن طريق تجميع المعاملات وإرسالها إلى الشبكة الرئيسية على فترات منتظمة. لذلك، يتعين عليهم جميعًا تحمل رسوم الغاز للبيانات المقدمة إلى L1.

• نظرًا لإثباتات الاحتيال، يجب على Optimistic Rollups نشر جميع بيانات المعاملات على السلسلة. لذلك يحتاجون إلى المزيد من الغاز لإرسال دفعات من البيانات إلى السلسلة الرئيسية.
• نظرًا لأن ZK-Rollups تتمتع بتقنيات فعالة لضغط البيانات (مثل استخدام الفهارس لتمثيل حسابات المستخدمين بدلاً من العناوين، فإن هذا يوفر 28 بايت من البيانات). ويساعد هذا في تقليل تكلفة نشر بيانات المعاملات على السلسلة الأساسية.

لذلك، يمكن لـ ZK-Rollups توفير كمية أكبر من غاز L1 مقارنةً بالمجموعات المتفائلة.

تعمل تقنية ZK-RaaS على تقليل تكلفة حساب ZKP من خلال مشاركة عمال المناجم على نطاق واسع

ومع ذلك، تتطلب ZK-Rollups تكلفة حسابية إضافية لإنشاء إثباتات المعرفة الصفرية. هذا هو بالضبط ما تهدف ZK-RaaS إلى حله.

مع تنفيذ ZK-Rollup على نطاق واسع، يتطلب إنشاء ZKP عددًا كبيرًا من وحدات المعالجة المركزية (CPU) ووحدة معالجة الرسومات (GPU) وFPGA وغيرها من الأجهزة وآلات التعدين لتوفير الطاقة الحاسوبية. اقترحت Opside() أيضًا مفهوم ZK-PoW، حيث قدمت دور عمال المناجم للمشاركة في صيانة عقد zkEVM وحساب ZKP. سيتم نشر بروتوكول Opside ZK-PoW على سلاسل متعددة، بما في ذلك على سبيل المثال لا الحصر، Ethereum وBNB Chain وPolygon PoS وOpside Chain نفسها.

من أجل تشجيع المزيد من عمال المناجم على المشاركة في مهام حوسبة ZKP في نفس الوقت، اقترحت Opside خوارزمية التقديم المكونة من خطوتين الخاصة بـ ZKP. سيتم تخصيص حصة مكافأة إثبات العمل (PoW) المقابلة لـ ZKP لمقدمي ZKP الصالحين، أي القائمين بالتعدين، وفقًا لقواعد معينة.

1. إرسال الإثبات: خلال فترة زمنية، لتسلسل معين، يُسمح للعديد من القائمين بالتعدين بالمشاركة في حساب إثبات المعرفة الصفرية. بعد قيام كل عامل منجم بحساب الدليل، لا يقومون بإرسال الدليل الأصلي مباشرةً، ولكن يحسبون إثبات الإثبات (الإثبات/العنوان) ويقدمون الإثبات إلى العقد.
2. إرسال ZKP: بعد انتهاء الفترة الزمنية، يرسل القائمون بالتعدين الدليل الأصلي ويتحققون منه باستخدام الدليل المقدم مسبقًا. يمكن لعمال المناجم الذين يجتازون عملية التحقق الحصول على مكافآت إثبات العمل (PoW)، ويتم توزيع مبلغ المكافأة وفقًا لنسبة المبلغ الذي تعهد به عمال المناجم.

في Opside، تحقق خوارزمية الإرسال المكونة من خطوتين لـ ZKP الحساب المتوازي والإرسال التسلسلي لـ ZKP، مما يسمح لآلات التعدين بأداء مهام متعددة لتوليد ZKP في نفس الوقت، وبالتالي تسريع كفاءة توليد ZKP بشكل كبير.

2. نهائية المعاملة وكفاءة رأس المال

• التحديثات المتفائلة: هناك فترة تحدي تصل إلى 7 أيام، ولن يتم الانتهاء من المعاملة على السلسلة الرئيسية حتى نهاية فترة التحدي. لذلك، فإن عمليات التجميع المتفائلة تتمتع بزمن وصول عالٍ لنهاية المعاملة.
• ZK-Rollups: تتمثل ميزة ZK-Rollups في أن تأخير إنهاء المعاملة منخفض، وعادةً ما يكون عشرات الدقائق أو حتى دقائق. بمجرد التحقق من إثبات الصلاحية بواسطة مشغل العقدة، يؤدي ذلك إلى تحديث الحالة.

نظرًا لأن عمليات التجميع المتفائلة لها فترة تحدي، فلا يمكن للمستخدمين سحب الأموال قبل انتهاء الصلاحية، مما يسبب الإزعاج. ومع ذلك، لا يوجد لدى ZK-Rollups فترة تحدي، ويتمتع المستخدمون بكفاءة أفضل في رأس المال/السيولة ويمكنهم سحب الأموال في أي وقت.

3. تقاسم السيولة

ومن الجدير بالذكر أنه نظرًا لأنه يمكن تأكيد معاملات ZK-Rollups بسرعة، فمن الممكن تحقيق اتصال غير موثوق به بين ZK-Rollups، بحيث يمكن لجميع Rollups مشاركة سيولة الأصول. **وبسبب وجود أدلة احتيال وفترة تحدي مدتها 7 أيام، ليس من الواقعي تحقيق اتصال أصلي غير موثوق به بين Optimistic Rollups.

يوفر بروتوكول NCRC (Native Cross Rollup Communication) الخاص بمنصة ZK-RaaS حلاً موثوقًا لقابلية التشغيل البيني للتراكمي. لا يضيف بروتوكول NCRC جسرًا إضافيًا لجهة خارجية إلى كل مجموعة تراكمية، ولكنه يحول الجسر (الجسر الأصلي) الذي يأتي مع ZK-Rollup على مستوى النظام، وذلك لاستخدام الجسر الأصلي لكل ZK-Rollup مباشرةً لتحقيق ذلك الاتصالات المتقاطعة. يعد هذا النهج أكثر إيجازًا وشمولاً، ولا يرث الأمان المطلق للجسر الأصلي فحسب، بل يتجنب أيضًا تعقيد النظام وتكلفة الثقة التي يجلبها جسر الطرف الثالث.

تم إطلاق NCRC على شبكة الاختبار، ويمكن للمستخدمين تجربتها مباشرة

4. الأمن

• مجموعات متفائلة: تضمن إثباتات الاحتيال صحة المعاملات من خلال وجود مدققين صادقين يقومون بتأمين شبكة blockchain. بدون عقد صادقة لتحدي المعاملات غير الصالحة، يمكن للجهات الخبيثة سرقة الأموال وستكون هذه المجموعات المتفائلة غير آمنة.
• ZK-Rollups: بدلاً من الاعتماد على أدوات التحقق الصادقة، تستخدم ZK-Rollups أدلة صفر المعرفة للتحقق من المعاملات. والميزة هي أن ZKPs توفر ضمانات أمنية من خلال البراهين الرياضية بدلا من الجهات الفاعلة البشرية. ولذلك، فإن ZK-Rollups غير موثوق بها.

على الرغم من أن إثبات الاحتيال الخاص بالمجموعات المتفائلة ممكن من الناحية النظرية، وهناك بالفعل عدد قليل من المجموعات قيد التشغيل. ومع ذلك، مع مرور الوقت وزيادة عدد التقارير المتفائلة، سيتم الكشف تدريجيًا عن مخاطر هذا النموذج الأمني، ليصبح وحيد القرن الرمادي أو حتى البجعة السوداء. لأن تشغيل أداة التحقق الصادق أمر مكلف وفي معظم الأحيان يكون غير مربح. عندما تقوم Op-RaaS بإنشاء عدد كبير من المجموعات المتفائلة، باستثناء عدد قليل من مجموعات الرؤوس، فمن الصعب التأكد من أن كل مجموعة تحتوي على عقد صادقة، خاصة تلك المجموعات غير المعنية. **

إن أمان ZK-Rollups غير جدير بالثقة لأنها لا تعتمد على المستخدمين أو المتحققين لتحدي المعاملات الاحتيالية، ولكنها توفر ضمانات أمنية من خلال البراهين الرياضية.

لخص

سواء كان ZK-RaaS أو Op-RaaS، يمكن للمطورين أن يكون لديهم سلسلة تطبيقات تراكمية خاصة بهم دون الحاجة إلى إدارة البرامج والأجهزة المعقدة.

أطلقت منصة ZK-RaaS، الممثلة بـ Opside()، بروتوكولي ZK-PoW وNCRC، مما يجعل مزايا ZK-Rollups أكثر وضوحًا.