ماذا يحدث عندما يكون هناك خلاف في مجموعات متفائلة مثل Cartesi Rollups؟ صممت كارتيزي طريقة جديدة للاستفادة من أمان الطبقة الأساسية من خلال منفعة عامة تسمى Dave.
إنه تحسين للتصميمات الشائعة لأنظمة حل النزاعات أو البروتوكولات المضادة للاحتيال التي تحتاج إلى تحقيق التوازن بين السلامة وتأخير التسوية والتكاليف لأى شخص بدون صلاحيه - تلك هي المسأله ، وبالطبع مع السماح لأي شخص بالمشاركة.

دعونا نلقي نظرة على كيف يضمن Dave أن كل ما يحدث على L2 يمكن الوثوق به طالما لدينا عقدة واحدة صادقة تشارك في الشبكة.

ما هي البروتوكولات المضادة للاحتيال؟

تعمل المجموعات المجمعة عن طريق نقل الجزء الأكبر من الحساب خارج السلسلة ومن ثم إثبات النتيجة النهائية لتنفيذ الحساب المذكور بكفاءة للطبقة الأساسية.
بمعنى آخر، يجب أن يكون كل العمل الذي قامت به عُقد كارتيزي (Cartesi Nodes) في أخذ البيانات داخل وخارج السلسلة قابلاً للتحقق.
إحدى الطرق لضمان إمكانية التحقق هذه هي أن يكون لديك بروتوكول مقاوم للاحتيال. عادةً، عندما تقوم العُقدة بنشر المعلومات مرة أخرى إلى سلسلة L1 كمطالبة، تكون هناك عملية تحقق حيث يمكن للعُقد الأخرى أن تتحدى المطالبات حتى يتم الانتهاء منها في السلسلة الرئيسية.
خلال إطار زمني محدد، يمكن للعُقد تقديم أدلة احتيال تتحدى نتائج المعلومات التي تتم معالجتها على L2. وهذا هو السبب في أن الربط بين لغتي L1 وL2 اليوم قد يستغرق ما يصل إلى أسبوع، اعتمادًا على بروتوكول مكافحة الاحتيال الخاص باللغة الثانية.

المشاكل الحالية المتعلقة ببروتوكولات منع الاحتيال الغير مصرح بها.

كان هناك الكثير من التجارب في Web3 مع تصميمات مختلفة لأنظمة حل النزاعات. باستخدام النهج التقليدي، هناك طريقتان لبناء نظام مقاوم للاحتيال مع مشاركين متعددين.

الأول هو جعل اللاعبين يتقاتلون بشكل ثنائي، واحدًا تلو الآخر. بهذه الطريقة، يخوض جميع اللاعبين، على الأكثر، نزاعًا واحدًا في كل مرة. والثاني هو السماح للجميع بمحاربة الجميع في نفس الوقت.

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

إحدى الحالات الرئيسية التي تفشل فيها التصاميم الحالية هي حالة الهجوم المؤجل. وباستخدام الأموال الكافية، يمكن للعُقدة الضارة استغلال نظام حل النزاعات لمنع المستخدمين من العودة إلى L1 من خلال إجراء تحديات مستمرة على معاملاتهم. كل تحد من شأنه أن يعيد وقت انسحابهم بمقدار الوقت المحدد على أنه "فترة التحدي".

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

ديف ضد جالوت

كيف نمنع المواقف التي يمكن فيها للمشاركين غير الشرفاء في الشبكة الذين لديهم ما يكفي من المال والنفوذ أن يحبطوا بشكل فعال عمليات عقدة واحدة صادقة؟

تعمل وحدات البحث والمراجع في كارتيزي على Dave، وهي خوارزمية تغير قواعد اللعبة لتسوية المنازعات، حيث تنمو أوقات تأخير منافس نزيه واحد ومقدار قوة الحوسبة اللازمة للنزاعات بشكل لوغاريتمي مع عدد المنافسين.

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

عندما تقوم عُقد كارتيزي (Cartesi Nodes) بنشر القسائم أو الإشعارات مرة أخرى على السلسلة الرئيسية، ستظل هناك نافذة للاعتراض على القسيمة. ومع ذلك، فإن المدعي الصادق الوحيد سيكون قادرًا على الدفاع عن نفسه في حالة حدوث تحدٍ خبيث.

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

هل تعتقد أنك أزعجت Dave؟ اختبر معلوماتك من خلال إجراء اختبار Grokking Public Goods: Dave في لوحة مهام كارتيزي واكسب نقاط المجتمع.

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