مزيج من OP Rollup و ZKP ، أول نظام مضاد للاحتيال zk

المؤلف: Layer N، RISC Zero Translation: Huohuo / Blockchain in Vernacular

Layer N هو نوع جديد من شبكات الطبقة الثانية التي تعتمد على Ethereum ، وذلك باستخدام الآلة الافتراضية صفر المعرفة من RISC Zero ، مما يضمن الأمان من خلال منع الاحتيال بدون معرفة (ZKFP) ، وتجنب معاملات إعادة التشغيل على السلسلة ، وتحقيق أداء عالٍ وسحب فوري والتمويل اللامركزي ، الريادة في نهج جديد لتوسيع نطاق الجيل القادم من المنتجات والبروتوكولات المالية.

! [bTQnyLHdViBIiZjjuMOlFntRGprdMIi1vAydt6iH.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-06a96fd494-dd1a6f-1c6801 "7080951")

1 المقدمة

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

على عكس مجموعات OP الحالية ، لا تعتمد Layer N على معاملات إعادة التشغيل على السلسلة لإثباتات الاحتيال. بدلاً من ذلك ، تتخذ N-Tier منهجًا جديدًا باستخدام براهين انعدام المعرفة والآلة الافتراضية صفر المعرفة الخاصة بـ RISC Zero.

2. الشروع في إعادة تشغيل البراهين

تنشر Op Rollups تحديثات الحالة إلى L1 الأساسي جنبًا إلى جنب مع المعاملات المقابلة التي تنقل الحالة السابقة إلى الحالة المحدثة. ** لنفترض أننا ، بصفتنا مدققين في مجموعة التحديثات ، ندعي أن الحالة النهائية التي لاحظنا أنها تم نشرها على Ethereum غير صالحة (أو بعبارة أخرى ، الحالة المحدثة لا تتوافق مع المعاملة التي نشرها التجمع إلى DA). من هنا ، نقدم إثبات احتيال ، وفي حالة قبوله ، نحصل على مكافأة مالية كبيرة. **

إن أبسط طريقة لإثبات الاحتيال هي جعل العقد الذكي يعيد تنفيذ المعاملة على Ethereum (L1) والتحقق مما إذا كانت الحالة الناتجة دقيقة ، ونحن نسميها "دليل بسيط على إعادة التشغيل".

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

ومع ذلك ، فإن هذا يثير سؤالًا مهمًا: كيف نتأكد من أن التنفيذ على السلسلة يتصرف تمامًا مثل التنفيذ خارج السلسلة؟ **

3. صعوبة إعادة الإثبات

القيد الرئيسي لبراهين إعادة العرض البسيطة والبراهين التفاعلية هو أن التعليمات يجب أن تكون قادرة على التنفيذ بنفس الطريقة على الطبقة الأساسية وطبقة الالتفاف. **** بمعنى آخر ، يحتاج كلا التطبيقين إلى استخدام نفس الجهاز الظاهري (VM) والتأكد من تطابق السلوك. **

** في حالة التفاؤل ، كان التطبيق السابق عبارة عن جهاز إيثريوم الإفتراضي تم تعديله بشكل طفيف ، والذي أطلقوا عليه اسم الجهاز الإفتراضي للتفاؤل القائم على Geth (OVM). ** طوروا مؤخرًا محاكي تعليمات MIPS على السلسلة في Solidity لتشغيل مترجم Minigeth ، مما يسمح لهم بمحاكاة انتقالات حالة EVM والتحقق منها. يستخدم Arbitrum نسخة معدلة من WASM يسمونه WAVM. يعني هذا التصميم أن التفاؤل و Arbitrum يمكنهما دعم أي لغة تستهدف MIPS و WASM على التوالي.

ومع ذلك ، بالنسبة إلى التفاؤل و Arbitrum ، كان هذا يعني أن أجهزتهم الافتراضية الخاصة يجب أن يتم تنفيذها في Solidity من أجل أن تقوم Ethereum بمحاكاتها. ليس هذا فقط ، يجب أن يكون لكل تطبيق نفس السلوك بالضبط. تكون تكلفة الغاز أيضًا أعلى بشكل ملحوظ في حالة البراهين غير التفاعلية (مثل التفاؤل) ، نظرًا لأننا نحتاج إلى إعادة تشغيل كل معاملة في الكتلة.

4. أدخل RISC Zero

** لسنا بحاجة إلى إعادة تشغيل جميع المعاملات على السلسلة ، ولكننا بحاجة إلى تقديم دليل على أن انتقال الحالة غير صحيح **. ** هذا هو المكان الذي يأتي فيه RISC Zero zkVM ، وهو آلة افتراضية للأغراض العامة معدومة المعرفة ****. **

باستخدام RISC Zero ، يمكن لأي مدقق إنشاء أدلة موجزة على أنهم أخذوا معاملة DA الصحيحة المقابلة لكتلة معينة وطبقوها على الحالة الأولية. ** يحقق RISC Zero ذلك عن طريق نقل بيئة تنفيذ N-tier إلى zkVM الخاص به وإنشاء إيصالات للتنفيذ الصحيح بطريقة موثوقة. **** في حالة حدوث نزاع ، يرسل المدقق هذا الإثبات إلى عقد Layer N الذكي على Ethereum ، والذي يتحقق بعد ذلك من صحة الإثبات. ** إذا كان الإثبات صالحًا ، وكانت حالة الإخراج المطالب بها للإثبات لا تتطابق مع حالة الإخراج المنشورة على L1 ، فهناك احتيال ويجب علينا استعادة الكتلة.

بدلاً من استخدام WASM أو EVM ، نستفيد من RISC Zero من خلال استهداف مجموعة تعليمات RISC-V ، وهي هدف تجميع شائع وبالتالي تدعمها العديد من لغات البرمجة. هذا يفتح مجموعة واسعة من الاحتمالات لشكل وتوافق N-tier VMs المستقبلية.

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

5. ما بعد OP تراكمي

يفرض شرط منح المستخدمين وقتًا كافيًا لإشعار الاحتيال وتقديم دليل على الاحتيال أوقات سحب طويلة (عادةً حوالي 7 أيام) على مجموعات OP الحالي: متطلبات غير كافية للمنتجات المالية القابلة للتكوين. ** على الرغم من أن ZKFP لا تحل هذه المشكلة تمامًا ، إلا أنها قادرة على تقليل أوقات السحب بشكل كبير بسبب نهجها "الطلقة الواحدة". بدلاً من بروتوكول ثنائي طويل ذهابًا وإيابًا على ETH ، يسمح ZKFP بمعاملة واحدة ذهابًا وإيابًا لإثبات / دحض الاحتيال. **

للمضي قدمًا ، تلتزم Layer N باستخدام أحدث التقنيات في نظام Rollup البيئي الخاص بها. على سبيل المثال ، مع Bonsai ، شبكة RISC Zero العالمية لإثبات المعرفة الصفرية ، ستكون Layer N قادرة على الانتقال بالكامل إلى ZK-rollup ، مما يعني توفير ضمانات أمان تشفير وعمليات سحب فورية مع الحفاظ على الأداء العالي. نظرًا لأن Bonsai تسمح لأي سلسلة أو بروتوكول أو تطبيق بالاستفادة من شبكة الإثبات الخاصة بها ، فإنها قادرة على العمل كطبقة حساب وتنفيذ خارج السلسلة لمجموعة متنوعة من حالات الاستخدام.

باختصار ، يمكن أن تكون الطبقة N ، بالشراكة مع RISC Zero ، رائدة في نهج جديد للتوسع مع عدد أقل من المفاضلات. نتيجة لذلك ، نحن قادرون على بناء الجيل التالي من المنتجات والبروتوكولات المالية القابلة للاستخدام حقًا.

6. حول الطبقة N.

Layer N عبارة عن شبكة جديدة من الطبقة 2 مصممة لتمكين التمويل اللامركزي الفائق النطاق على Ethereum. تهدف Layer N إلى توفير أداء وتجربة مستخدم مماثلة للشبكات المالية الحديثة ، ولكن على السلسلة واللامركزية بالكامل. يمكن للمطورين الاستفادة من السيولة المشتركة والتركيب السلس لبناء تطبيقات مالية عالية الأداء. تعمل Layer N على جلب النظام المالي العالمي إلى Ethereum.